Package | Description |
---|---|
com.articulate.sigma.semRewrite |
Modifier and Type | Field and Description |
---|---|
Literal |
Rule.clause |
Literal |
LHS.clause |
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList<Literal> |
Clause.disjuncts |
Modifier and Type | Method and Description |
---|---|
Literal |
Literal.applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings) |
Literal |
Literal.deepCopy() |
static Literal |
Literal.parse(Lexer lex,
int startLine) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
Procedures.isCELTclass(Literal c)
CELT classes which are not SUMO classes, like "person"
|
static java.lang.String |
Procedures.isInstanceOf(Literal c) |
static java.lang.String |
Procedures.isSubAttribute(Literal c) |
static java.lang.String |
Procedures.isSubclass(Literal c) |
java.util.HashMap<java.lang.String,java.lang.String> |
Literal.mguTermList(Literal l2)
Unify all terms in term1 with the corresponding terms in term2 with a
common substitution.
|