public class Clause
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) TConnector |
c |
(package private) int |
cost |
(package private) int |
maxcost |
(package private) Clause |
next |
Constructor and Description |
---|
Clause() |
Modifier and Type | Method and Description |
---|---|
(package private) static Disjunct |
build_disjunct(Clause cl,
java.lang.String string,
int cost_cutoff) |
(package private) static Connector |
extract_connectors(TConnector e,
int c) |
Clause next
int cost
int maxcost
TConnector c
static Connector extract_connectors(TConnector e, int c)