Uses of Interface
org.provarules.kernel2.ProvaObject

Packages that use ProvaObject

Package	Description
org.provarules.kernel2
org.provarules.kernel2.cache
org.provarules.kernel2.messaging
org.provarules.parser
org.provarules.reference2
org.provarules.reference2.cache
org.provarules.reference2.messaging
org.provarules.reference2.operators

Uses of ProvaObject in org.provarules.kernel2

Subinterfaces of ProvaObject in org.provarules.kernel2

Modifier and Type	Interface and Description
interface	ProvaConstant
interface	ProvaList
interface	ProvaListPtr
interface	ProvaLiteral
interface	ProvaVariable
interface	ProvaVariablePtr

Methods in org.provarules.kernel2 that return ProvaObject

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)
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)
ProvaObject	ProvaObject.computeProvaIfExpression()
ProvaObject	ProvaVariable.getAssigned()
ProvaObject[]	ProvaList.getFixed()
ProvaObject	ProvaObject.getRecursivelyAssigned()
ProvaObject	ProvaList.getTail()
ProvaObject	ProvaListPtr.rebuild(ProvaUnification unification)
ProvaObject	ProvaList.rebuild(ProvaUnification unification, int offset)
ProvaObject	ProvaUnification.rebuild(ProvaVariablePtr variablePtr)
ProvaObject	ProvaListPtr.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaList.rebuildSource(ProvaUnification unification, int offset)
ProvaObject	ProvaUnification.rebuildSource(ProvaVariablePtr variablePtr)

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

Modifier and Type	Method and Description
java.util.List<ProvaObject>	ProvaLiteral.addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)

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

Modifier and Type	Method and Description
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(ProvaObject[] data)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaObject[] data, int offset)
java.util.List<ProvaRule>	ProvaRuleSet.getClauses(java.lang.Object key, ProvaObject[] source)
boolean	ProvaRuleSet.removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)
boolean	ProvaRuleSet.removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)
void	ProvaVariable.setAssigned(ProvaObject assigned)
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 ProvaObject in org.provarules.kernel2.cache

Subinterfaces of ProvaObject in org.provarules.kernel2.cache

Modifier and Type	Interface and Description
interface	ProvaCachedLiteral

Uses of ProvaObject in org.provarules.kernel2.messaging

Methods in org.provarules.kernel2.messaging with parameters of type ProvaObject

Modifier and Type	Method and Description
void	ProvaMessenger.scheduleCleanup(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaObject in org.provarules.parser

Methods in org.provarules.parser that return ProvaObject

Modifier and Type	Method and Description
ProvaObject	ProvaWalker2.aterm()
ProvaObject	ProvaWalker2.expr()
ProvaObject	ProvaWalker2.func_term()
ProvaObject	ProvaWalker2.func()
ProvaObject	ProvaWalker2.left_term()
ProvaObject	ProvaWalker2.list_tail()
ProvaObject	ProvaWalker2.prova_map()
ProvaObject	ProvaWalker2.right_term()
ProvaObject	ProvaWalker2.term()
ProvaObject	ProvaWalker2.typed_variable()
ProvaObject	ProvaWalker2.variable_or_number()
ProvaObject	ProvaWalker2.variable()

Methods in org.provarules.parser that return types with arguments of type ProvaObject

Modifier and Type	Method and Description
java.util.List<ProvaObject>	ProvaWalker2.binary_operation()
java.util.List<ProvaObject>	ProvaWalker2.constructor_java_call()
java.util.List<ProvaObject>	ProvaWalker2.instance_call()
java.util.List<ProvaObject>	ProvaWalker2.instance_java_call()
java.util.List<ProvaObject>	ProvaWalker2.predicate_java_call()
java.util.List<ProvaObject>	ProvaWalker2.semantic_attachment()
java.util.List<ProvaObject>	ProvaWalker2.static_call()
java.util.List<ProvaObject>	ProvaWalker2.static_java_call()
java.util.List<ProvaObject>	ProvaWalker2.terms()

Uses of ProvaObject in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaObject

Modifier and Type	Class and Description
class	ProvaAnyImpl
class	ProvaConstantImpl
class	ProvaGlobalConstantImpl
class	ProvaGuardedLiteralImpl
class	ProvaListImpl
class	ProvaListPtrImpl
class	ProvaLiteralImpl
class	ProvaMapImpl A wrapper around a Java Map that recursively (for all nested Maps) wraps all Java objects in the `Map` values in `ProvaObject`(s).
class	ProvaTermImpl
class	ProvaVariableImpl
class	ProvaVariablePtrImpl

Fields in org.provarules.reference2 with type parameters of type ProvaObject

Modifier and Type	Field and Description
static java.lang.ThreadLocal<java.util.Map<java.lang.Object,ProvaObject>>	ProvaLiteralImpl.tlVars

Methods in org.provarules.reference2 that return ProvaObject

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)
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)
ProvaObject	ProvaVariablePtrImpl.computeProvaIfExpression()
ProvaObject	ProvaVariableImpl.computeProvaIfExpression()
ProvaObject	ProvaLiteralImpl.computeProvaIfExpression()
ProvaObject	ProvaListPtrImpl.computeProvaIfExpression()
ProvaObject	ProvaListImpl.computeProvaIfExpression()
ProvaObject	ProvaConstantImpl.computeProvaIfExpression()
ProvaObject	ProvaAnyImpl.computeProvaIfExpression()
ProvaObject	ProvaVariableImpl.getAssigned()
ProvaObject[]	ProvaListImpl.getFixed()
ProvaObject	ProvaVariablePtrImpl.getRecursivelyAssigned()
ProvaObject	ProvaVariableImpl.getRecursivelyAssigned()
ProvaObject	ProvaLiteralImpl.getRecursivelyAssigned()
ProvaObject	ProvaListPtrImpl.getRecursivelyAssigned()
ProvaObject	ProvaListImpl.getRecursivelyAssigned()
ProvaObject	ProvaConstantImpl.getRecursivelyAssigned()
ProvaObject	ProvaAnyImpl.getRecursivelyAssigned()
ProvaObject	ProvaListImpl.getTail()
ProvaObject	ProvaMapImpl.rebuild(ProvaUnification unification)
ProvaObject	ProvaListPtrImpl.rebuild(ProvaUnification unification)
ProvaObject	ProvaListImpl.rebuild(ProvaUnification unification, int offset)
ProvaObject	ProvaUnificationImpl.rebuild(ProvaVariablePtr variablePtr)
ProvaObject	ProvaMapImpl.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaListPtrImpl.rebuildSource(ProvaUnification unification)
ProvaObject	ProvaListImpl.rebuildSource(ProvaUnification unification, int offset)
ProvaObject	ProvaUnificationImpl.rebuildSource(ProvaVariablePtr variablePtr)
static ProvaObject	ProvaMapImpl.wrap(java.lang.Object o) Wrap an object in a `ProvaMapImpl` or `ProvaConstantImpl` if it is a Map or any other non-Prova object.
static ProvaObject	ProvaConstantImpl.wrap(java.lang.Object o)

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

Modifier and Type	Method and Description
java.util.List<ProvaObject>	ProvaLiteralImpl.addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)

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

Modifier and Type	Method and Description
static ProvaList	ProvaListImpl.create(ProvaObject[] fixed)
static ProvaList	ProvaListImpl.create(ProvaObject[] fixed, ProvaObject tail)
static ProvaList	ProvaListImpl.create(ProvaObject[] fixed, ProvaObject tail)
static ProvaVariableImpl	ProvaVariableImpl.create(java.lang.String name, ProvaObject assigned)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(ProvaObject[] data) Assume that the first element of the array is the predicate symbol
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaObject[] data, int offset)
java.util.List<ProvaRule>	ProvaRuleSetImpl.getClauses(java.lang.Object key, ProvaObject[] source) Now implements pre-filtering by spotting mismatched constants in the source and target arguments
boolean	ProvaRuleSetImpl.removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clauses that are subsumed by the query.
boolean	ProvaRuleSetImpl.removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clause that is subsumed by the query.
void	ProvaVariableImpl.setAssigned(ProvaObject assigned)
void	ProvaListImpl.setTail(ProvaObject tail)
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)

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

Modifier and Type	Method and Description
static ProvaList	ProvaListImpl.create(java.util.List<ProvaObject> list)

Uses of ProvaObject in org.provarules.reference2.cache

Classes in org.provarules.reference2.cache that implement ProvaObject

Modifier and Type	Class and Description
class	ProvaCachedLiteralImpl

Methods in org.provarules.reference2.cache that return ProvaObject

Modifier and Type	Method and Description
ProvaObject	ProvaCachedLiteralImpl.cloneWithVariables(java.util.List<ProvaVariable> variables)

Uses of ProvaObject in org.provarules.reference2.messaging

Methods in org.provarules.reference2.messaging with parameters of type ProvaObject

Modifier and Type	Method and Description
void	ProvaMessengerImpl.scheduleCleanup(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Constructors in org.provarules.reference2.messaging with parameters of type ProvaObject

Constructor and Description
ProvaScheduleGroupMemberCleanupImpl(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaObject in org.provarules.reference2.operators

Methods in org.provarules.reference2.operators with parameters of type ProvaObject

Modifier and Type	Method and Description
static ProvaOperator	ProvaOperatorFactoryImpl.createFunctionCall(ProvaObject otype, ProvaObject omethod)
boolean	ProvaBinaryOperator.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryNotEqualsImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryLessThanImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryLessEqualImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryGreaterThanImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryGreaterEqualImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryEqualsImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)