Uses of Class
com.articulate.sigma.semRewrite.Clause

Packages that use Clause

Package	Description
com.articulate.sigma.semRewrite

Uses of Clause in com.articulate.sigma.semRewrite

Fields in com.articulate.sigma.semRewrite with type parameters of type Clause

Modifier and Type	Field and Description
java.util.ArrayList<Clause>	CNF.clauses

Methods in com.articulate.sigma.semRewrite that return Clause

Modifier and Type	Method and Description
Clause	Clause.applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
Clause	Clause.deepCopy()

Methods in com.articulate.sigma.semRewrite with parameters of type Clause

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