Uses of Interface
org.provarules.kernel2.ProvaComputable

Packages that use ProvaComputable

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

Uses of ProvaComputable in org.provarules.kernel2

Subinterfaces of ProvaComputable in org.provarules.kernel2

Modifier and Type	Interface and Description
interface	ProvaVariable

Uses of ProvaComputable in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaComputable

Modifier and Type	Class and Description
class	ProvaAnyImpl
class	ProvaConstantImpl
class	ProvaGlobalConstantImpl
class	ProvaListImpl
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	ProvaVariableImpl

Uses of ProvaComputable in org.provarules.reference2.operators

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

Modifier and Type	Method and Description
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)