Uses of Class
com.semedy.reasoner.api.logic.Compound

Packages that use Compound

Package	Description
com.semedy.reasoner.api.logic
com.semedy.reasoner.rewriter

Uses of Compound in com.semedy.reasoner.api.logic

Subclasses of Compound in com.semedy.reasoner.api.logic

Modifier and Type	Class	Description
class	Function	object for a functional term
class	Literal	object to represent a literal

Methods in com.semedy.reasoner.api.logic that return Compound

Modifier and Type	Method	Description
Compound	Compound.clone()	Get a clone
Compound	Compound.getNormalized()	Get a normalized version (all variables are renamed to Xi)

Uses of Compound in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter with parameters of type Compound

Modifier and Type	Method	Description
boolean	EliminateRedundantBodiesRewriter.equals(Compound o1, Compound o2, Set<Variable> ignoreVariables)