public class Hedge extends Printable
Modifier and Type | Field and Description |
---|---|
static Hedge |
nullHedge |
static String |
PRINT_PARAM_END |
static String |
PRINT_PARAM_SEPARATOR |
static String |
PRINT_PARAM_START |
Modifier and Type | Method and Description |
---|---|
void |
add(TermNode t) |
Hedge |
apply(Map<Variable,TermNode> sigma) |
Hedge |
copy() |
boolean |
equals(Object other) |
TermNode |
get(int i) |
List<TermNode> |
getSequence() |
int |
hashCode() |
Map<TermAtom,Integer> |
headF() |
Map<TermAtom,Integer> |
headV() |
boolean |
isEmpty() |
void |
print(Writer out) |
void |
print(Writer out,
boolean isBlock) |
int |
replace(int idx,
TermNode toTermOrHedge)
|
int |
size() |
Hedge |
subHedge(int fromIdx,
int toIdx) |
Hedge |
substitute(Variable x,
TermNode t) |
String |
toHedgePartString() |
String |
toHedgeString() |
public static final Hedge nullHedge
public static String PRINT_PARAM_END
public static String PRINT_PARAM_SEPARATOR
public static String PRINT_PARAM_START
public void add(TermNode t)
public Hedge copy()
public TermNode get(int i)
public boolean isEmpty()
public void print(Writer out) throws IOException
print
in class Printable
IOException
public void print(Writer out, boolean isBlock) throws IOException
IOException
public int replace(int idx, TermNode toTermOrHedge)
public int size()
public Hedge subHedge(int fromIdx, int toIdx)
public String toHedgePartString()
public String toHedgeString()