at.jku.risc.stout.hoau.data
public class Hedge extends Printable implements Cloneable
Modifier and Type | Field and Description |
---|---|
static String |
PRINT_PARAM_END |
static String |
PRINT_PARAM_SEPARATOR |
static String |
PRINT_PARAM_START |
Constructor and Description |
---|
Hedge() |
Modifier and Type | Method and Description |
---|---|
void |
add(TermNode t) |
void |
clear() |
Hedge |
clone() |
boolean |
equals(Object other) |
TermNode |
get(int i) |
boolean |
isEmpty() |
Hedge |
newInstance() |
void |
print(Writer out) |
void |
print(Writer out,
TermAtom atom,
boolean needLamdaBracket) |
Hedge |
reduce(int count) |
int |
size() |
void |
substitute(BoundVariable from,
BoundVariable to) |
void |
substitute(Variable from,
TermNode to) |
public static String PRINT_PARAM_END
public static String PRINT_PARAM_SEPARATOR
public static String PRINT_PARAM_START
public void add(TermNode t)
public void clear()
public TermNode get(int i)
public boolean isEmpty()
public Hedge newInstance()
public void print(Writer out) throws IOException
print
in class Printable
IOException
public void print(Writer out, TermAtom atom, boolean needLamdaBracket) throws IOException
IOException
public Hedge reduce(int count) throws NotNormalizableException
NotNormalizableException
public int size()
public void substitute(BoundVariable from, BoundVariable to)
public void substitute(Variable from, TermNode to) throws NotNormalizableException
NotNormalizableException