Uses of Interface
org.provarules.kernel2.ProvaUnification

Packages that use ProvaUnification

Package	Description
org.provarules.kernel2
org.provarules.reference2
org.provarules.reference2.cache

Uses of ProvaUnification in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaUnification

Modifier and Type	Method and Description
ProvaUnification	ProvaRuleSet.nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)
ProvaUnification	ProvaGoal.nextUnification(ProvaKnowledgeBase kb)

Methods in org.provarules.kernel2 with parameters of type ProvaUnification

Modifier and Type	Method and Description
ProvaLiteral	ProvaLiteral.cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaLiteral	ProvaLiteral.rebuild(ProvaUnification unification)
ProvaObject	ProvaListPtr.rebuild(ProvaUnification unification)
ProvaList	ProvaList.rebuild(ProvaUnification unification)
ProvaObject	ProvaList.rebuild(ProvaUnification unification, int offset)
ProvaLiteral	ProvaLiteral.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaListPtr.rebuildSource(ProvaUnification unification)
ProvaList	ProvaList.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaList.rebuildSource(ProvaUnification unification, int offset)
boolean	ProvaList.unify(int offset, ProvaObject target, ProvaUnification unification)
boolean	ProvaObject.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaVariablePtr.unifyReverse(ProvaObject target, ProvaUnification unification)

Uses of ProvaUnification in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaUnification

Modifier and Type	Class and Description
class	ProvaUnificationImpl

Methods in org.provarules.reference2 that return ProvaUnification

Modifier and Type	Method and Description
ProvaUnification	ProvaDerivationNodeImpl.getUnification() Get the unification.
ProvaUnification	ProvaRuleSetImpl.nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)
ProvaUnification	ProvaGoalImpl.nextUnification(ProvaKnowledgeBase kb)

Methods in org.provarules.reference2 with parameters of type ProvaUnification

Modifier and Type	Method and Description
ProvaLiteral	ProvaLiteralImpl.cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaLiteral	ProvaGuardedLiteralImpl.cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaMapImpl.rebuild(ProvaUnification unification)
ProvaLiteral	ProvaLiteralImpl.rebuild(ProvaUnification unification)
ProvaObject	ProvaListPtrImpl.rebuild(ProvaUnification unification)
ProvaList	ProvaListImpl.rebuild(ProvaUnification unification)
ProvaLiteral	ProvaGuardedLiteralImpl.rebuild(ProvaUnification unification)
ProvaObject	ProvaListImpl.rebuild(ProvaUnification unification, int offset)
ProvaObject	ProvaMapImpl.rebuildSource(ProvaUnification unification)
ProvaLiteral	ProvaLiteralImpl.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaListPtrImpl.rebuildSource(ProvaUnification unification)
ProvaList	ProvaListImpl.rebuildSource(ProvaUnification unification)
ProvaLiteral	ProvaGuardedLiteralImpl.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaListImpl.rebuildSource(ProvaUnification unification, int offset)
void	ProvaDerivationNodeImpl.setUnification(ProvaUnification u) Set the unification.
boolean	ProvaListImpl.unify(int offset, ProvaObject target, ProvaUnification unification) A general case when both unified lists may have offsets
boolean	ProvaVariablePtrImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaVariableImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaMapImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaLiteralImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaListPtrImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaListImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaConstantImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaAnyImpl.unify(ProvaObject target, ProvaUnification unification)
boolean	ProvaVariablePtrImpl.unifyReverse(ProvaObject target, ProvaUnification unification)

Uses of ProvaUnification in org.provarules.reference2.cache

Methods in org.provarules.reference2.cache with parameters of type ProvaUnification

Modifier and Type	Method and Description
ProvaLiteral	ProvaCachedLiteralImpl.rebuildSource(ProvaUnification unification)