Uses of Interface
org.provarules.kernel2.ProvaVariable

Packages that use ProvaVariable

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

Uses of ProvaVariable in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaVariable

Modifier and Type	Method and Description
ProvaVariable	ProvaVariable.clone()
ProvaVariable	ProvaVariable.clone(long ruleId)
ProvaVariable	ProvaUnification.getVariableFromVariablePtr(ProvaVariablePtr variablePtr)

Methods in org.provarules.kernel2 that return types with arguments of type ProvaVariable

Modifier and Type	Method and Description
java.util.List<ProvaVariable>	ProvaRule.cloneVariables()
java.util.List<ProvaVariable>	ProvaUnification.getSourceVariables()
java.util.List<ProvaVariable>	ProvaUnification.getTargetVariables()
java.util.List<ProvaVariable>	ProvaRule.getVariables()

Method parameters in org.provarules.kernel2 with type arguments of type ProvaVariable

Modifier and Type	Method and Description
ProvaObject	ProvaObject.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaList.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaLiteral	ProvaLiteral.cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaObject.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaList.cloneWithVariables(java.util.List<ProvaVariable> variables, int offset)
ProvaObject	ProvaObject.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaObject.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaList	ProvaList.copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaList	ProvaList.copyWithVariables(java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
java.lang.Object	ProvaGoal.lookupMetadata(java.lang.String variable, java.util.List<ProvaVariable> variables)
void	ProvaRule.setVariables(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaObject.toString(java.util.List<ProvaVariable> variables)
boolean	ProvaObject.updateGround(java.util.List<ProvaVariable> variables)

Uses of ProvaVariable in org.provarules.kernel2.cache

Method parameters in org.provarules.kernel2.cache with type arguments of type ProvaVariable

Modifier and Type	Method and Description
ProvaCacheStateImpl.ProvaCacheAnswerKey	ProvaCacheState.getCacheAnswerKey(ProvaList literalList, java.util.List<ProvaVariable> variables)

Uses of ProvaVariable in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaVariable

Modifier and Type	Class and Description
class	ProvaVariableImpl

Methods in org.provarules.reference2 that return ProvaVariable

Modifier and Type	Method and Description
ProvaVariable	ProvaVariableImpl.clone()
ProvaVariable	ProvaVariableImpl.clone(long ruleId)
static ProvaVariable	ProvaVariableImpl.create()
static ProvaVariable	ProvaVariableImpl.create(java.lang.String name)
static ProvaVariable	ProvaVariableImpl.create(java.lang.String name, java.lang.Class<?> type)
ProvaVariable	ProvaUnificationImpl.getVariableFromVariablePtr(ProvaVariablePtr variablePtr)

Methods in org.provarules.reference2 that return types with arguments of type ProvaVariable

Modifier and Type	Method and Description
java.util.List<ProvaVariable>	ProvaRuleImpl.cloneVariables()
java.util.List<ProvaVariable>	ProvaUnificationImpl.getSourceVariables()
java.util.List<ProvaVariable>	ProvaUnificationImpl.getTargetVariables()
java.util.List<ProvaVariable>	ProvaRuleImpl.getVariables()
java.util.List<ProvaVariable>	ProvaGoalImpl.getVariables()

Method parameters in org.provarules.reference2 with type arguments of type ProvaVariable

Modifier and Type	Method and Description
ProvaObject	ProvaVariablePtrImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaVariableImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaMapImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaLiteralImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaListPtrImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaListImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaObject	ProvaGuardedLiteralImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaConstantImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	ProvaAnyImpl.cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
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)
ProvaObject	ProvaVariablePtrImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaVariableImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaMapImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaLiteralImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaListPtrImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaListImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaGuardedLiteralImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaConstantImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaAnyImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	ProvaListImpl.cloneWithVariables(java.util.List<ProvaVariable> variables, int offset)
ProvaObject	ProvaVariablePtrImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaVariableImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaMapImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaLiteralImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaListPtrImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaListImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaGuardedLiteralImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaConstantImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaObject	ProvaAnyImpl.cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaVariablePtrImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaVariableImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaMapImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaLiteralImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaListPtrImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaListImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaGuardedLiteralImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaConstantImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	ProvaAnyImpl.collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
ProvaList	ProvaListImpl.copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaList	ProvaListImpl.copyWithVariables(java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
java.lang.Object	ProvaGoalImpl.lookupMetadata(java.lang.String reference, java.util.List<ProvaVariable> variables)
void	ProvaUnificationImpl.setSourceVariables(java.util.List<ProvaVariable> sourceVariables)
void	ProvaUnificationImpl.setTargetVariables(java.util.List<ProvaVariable> targetVariables)
void	ProvaRuleImpl.setVariables(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaVariablePtrImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaVariableImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaLiteralImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaListPtrImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaListImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaConstantImpl.toString(java.util.List<ProvaVariable> variables)
java.lang.String	ProvaAnyImpl.toString(java.util.List<ProvaVariable> variables)
boolean	ProvaVariablePtrImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaVariableImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaMapImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaLiteralImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaListPtrImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaListImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaConstantImpl.updateGround(java.util.List<ProvaVariable> variables)
boolean	ProvaAnyImpl.updateGround(java.util.List<ProvaVariable> variables)

Constructor parameters in org.provarules.reference2 with type arguments of type ProvaVariable

Constructor and Description
ProvaGoalImpl(java.util.List<ProvaVariable> variables, ProvaLiteral goal)
ProvaRuleImpl(long ruleId, ProvaLiteral head, ProvaLiteral[] body, java.util.List<ProvaVariable> variables)

Uses of ProvaVariable in org.provarules.reference2.cache

Method parameters in org.provarules.reference2.cache with type arguments of type ProvaVariable

Modifier and Type	Method and Description
ProvaObject	ProvaCachedLiteralImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaCacheStateImpl.ProvaCacheAnswerKey	ProvaCacheStateImpl.getCacheAnswerKey(ProvaList literalList, java.util.List<ProvaVariable> variables)