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

Packages that use Literal

Package	Description
com.articulate.sigma.semRewrite

Uses of Literal in com.articulate.sigma.semRewrite

Fields in com.articulate.sigma.semRewrite declared as Literal

Modifier and Type	Field and Description
Literal	Rule.clause
Literal	LHS.clause

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

Modifier and Type	Field and Description
ArrayList<Literal>	Clause.disjuncts

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

Modifier and Type	Method and Description
Literal	Literal.applyBindings(HashMap<String,String> bindings)
Literal	Literal.deepCopy()
static Literal	Literal.parse(Lexer lex, int startLine)

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

Modifier and Type	Method and Description
static String	Procedures.isCELTclass(Literal c) CELT classes which are not SUMO classes, like "person"
static String	Procedures.isInstanceOf(Literal c)
static String	Procedures.isSubAttribute(Literal c)
static String	Procedures.isSubclass(Literal c)
HashMap<String,String>	Literal.mguTermList(Literal l2) Unify all terms in term1 with the corresponding terms in term2 with a common substitution.