Package | Description |
---|---|
com.articulate.sigma.semRewrite |
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList<Clause> |
CNF.clauses |
Modifier and Type | Method and Description |
---|---|
Clause |
Clause.applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings) |
Clause |
Clause.deepCopy() |
Modifier and Type | Method and Description |
---|---|
void |
Clause.copyBoundFlags(Clause d)
Copy bound flags to this set of clauses
|
java.util.HashMap<java.lang.String,java.lang.String> |
Clause.unify(Clause d)
The argument to this method is the rule and this is the sentence
|