Uses of Interface
org.provarules.kernel2.ProvaVariablePtr

Packages that use ProvaVariablePtr

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

Uses of ProvaVariablePtr in org.provarules.kernel2

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

Modifier and Type	Method and Description
ProvaVariable	ProvaUnification.getVariableFromVariablePtr(ProvaVariablePtr variablePtr)
ProvaObject	ProvaUnification.rebuild(ProvaVariablePtr variablePtr)
ProvaObject	ProvaUnification.rebuildSource(ProvaVariablePtr variablePtr)
void	ProvaRule.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaObject.substituteVariables(ProvaVariablePtr[] varsMap)

Uses of ProvaVariablePtr in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaVariablePtr

Modifier and Type	Class and Description
class	ProvaVariablePtrImpl

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

Modifier and Type	Method and Description
ProvaVariable	ProvaUnificationImpl.getVariableFromVariablePtr(ProvaVariablePtr variablePtr)
ProvaObject	ProvaUnificationImpl.rebuild(ProvaVariablePtr variablePtr)
ProvaObject	ProvaUnificationImpl.rebuildSource(ProvaVariablePtr variablePtr)
void	ProvaVariablePtrImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaVariableImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaRuleImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaMapImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaLiteralImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaListPtrImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaListImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaGuardedLiteralImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaConstantImpl.substituteVariables(ProvaVariablePtr[] varsMap)
void	ProvaAnyImpl.substituteVariables(ProvaVariablePtr[] varsMap)