Uses of Interface
org.provarules.kernel2.ProvaLiteral

Packages that use ProvaLiteral

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

Uses of ProvaLiteral in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaLiteral

Modifier and Type	Method and Description
ProvaLiteral	ProvaLiteral.cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaLiteral	ProvaKnowledgeBase.generateCachedLiteral(java.lang.String symbol, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)
ProvaLiteral	ProvaKnowledgeBase.generateHeadLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(ProvaObject[] data)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaObject[] data, int offset)
ProvaLiteral[]	ProvaRule.getBody()
ProvaLiteral	ProvaGoal.getGoal()
ProvaLiteral[]	ProvaRule.getGuardedBody(ProvaLiteral sourceLiteral)
ProvaLiteral	ProvaRule.getHead()
ProvaLiteral	ProvaRule.getTop()
ProvaLiteral	ProvaLiteral.rebuild(ProvaUnification unification)
ProvaLiteral[]	ProvaUnification.rebuildNewGoals()
ProvaLiteral[]	ProvaUnification.rebuildOldGoals(ProvaLiteral[] body)
ProvaLiteral	ProvaLiteral.rebuildSource(ProvaUnification unification)

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

Modifier and Type	Method and Description
java.util.List<ProvaLiteral>	ProvaLiteral.getGuard()

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

Modifier and Type	Method and Description
void	ProvaRule.addBodyLiteral(ProvaLiteral literal)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaLiteral[] body)
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)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBase.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBase.generateRuleA(ProvaLiteral lit, ProvaLiteral[] provaLiterals)
ProvaRule	ProvaKnowledgeBase.generateRuleA(ProvaLiteral lit, ProvaLiteral[] provaLiterals)
ProvaRule	ProvaKnowledgeBase.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)
ProvaLiteral[]	ProvaRule.getGuardedBody(ProvaLiteral sourceLiteral)
ProvaLiteral[]	ProvaUnification.rebuildOldGoals(ProvaLiteral[] body)
void	ProvaGoal.setGoal(ProvaLiteral top)

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

Modifier and Type	Method and Description
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
boolean	ProvaBuiltin.process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaBuiltin.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
void	ProvaRule.replaceTopBodyLiteral(java.util.List<ProvaLiteral> newLiterals)

Uses of ProvaLiteral in org.provarules.kernel2.cache

Subinterfaces of ProvaLiteral in org.provarules.kernel2.cache

Modifier and Type	Interface and Description
interface	ProvaCachedLiteral

Uses of ProvaLiteral in org.provarules.kernel2.messaging

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

Modifier and Type	Method and Description
boolean	ProvaWorkflows.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Method parameters in org.provarules.kernel2.messaging with type arguments of type ProvaLiteral

Modifier and Type	Method and Description
boolean	ProvaWorkflows.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.rcvMsg(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessenger.rcvMsgP(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessenger.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Uses of ProvaLiteral in org.provarules.parser

Methods in org.provarules.parser that return ProvaLiteral

Modifier and Type	Method and Description
ProvaLiteral	ProvaWalker2.literal()

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

Modifier and Type	Method and Description
java.util.List<ProvaLiteral>	ProvaWalker2.guard()
java.util.List<ProvaLiteral>	ProvaWalker2.literals()

Uses of ProvaLiteral in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaLiteral

Modifier and Type	Class and Description
class	ProvaGuardedLiteralImpl
class	ProvaLiteralImpl

Methods in org.provarules.reference2 that return ProvaLiteral

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)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateCachedLiteral(java.lang.String symbol, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateHeadLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(ProvaObject[] data) Assume that the first element of the array is the predicate symbol
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaObject[] data, int offset)
ProvaLiteral[]	ProvaRuleImpl.getBody()
ProvaLiteral	ProvaGoalImpl.getGoal()
ProvaLiteral[]	ProvaRuleImpl.getGuardedBody(ProvaLiteral sourceLiteral) Get body with a prefix containing guard literals if sourceLiteral is ProvaGuardedLiteralImpl
ProvaLiteral	ProvaRuleImpl.getHead()
ProvaLiteral	ProvaRuleImpl.getTop()
ProvaLiteral	ProvaLiteralImpl.rebuild(ProvaUnification unification)
ProvaLiteral	ProvaGuardedLiteralImpl.rebuild(ProvaUnification unification)
ProvaLiteral[]	ProvaUnificationImpl.rebuildNewGoals()
ProvaLiteral[]	ProvaUnificationImpl.rebuildOldGoals(ProvaLiteral[] body)
ProvaLiteral	ProvaLiteralImpl.rebuildSource(ProvaUnification unification)
ProvaLiteral	ProvaGuardedLiteralImpl.rebuildSource(ProvaUnification unification)

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

Modifier and Type	Method and Description
java.util.List<ProvaLiteral>	ProvaLiteralImpl.getGuard()
java.util.List<ProvaLiteral>	ProvaGuardedLiteralImpl.getGuard()

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

Modifier and Type	Method and Description
void	ProvaRuleImpl.addBodyLiteral(ProvaLiteral literal)
static ProvaRule	ProvaRuleImpl.createVirtualRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
static ProvaRule	ProvaRuleImpl.createVirtualRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaLiteral[] body)
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)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body) Called from ProvaMessengerImpl.
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body) Called from ProvaMessengerImpl.
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBaseImpl.generateRuleA(ProvaLiteral head, ProvaLiteral[] body) Add the rule in front of others in the collection.
ProvaRule	ProvaKnowledgeBaseImpl.generateRuleA(ProvaLiteral head, ProvaLiteral[] body) Add the rule in front of others in the collection.
ProvaRule	ProvaKnowledgeBaseImpl.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)
ProvaLiteral[]	ProvaRuleImpl.getGuardedBody(ProvaLiteral sourceLiteral) Get body with a prefix containing guard literals if sourceLiteral is ProvaGuardedLiteralImpl
ProvaLiteral[]	ProvaUnificationImpl.rebuildOldGoals(ProvaLiteral[] body)
void	ProvaRuleImpl.setBody(ProvaLiteral[] body)
void	ProvaGoalImpl.setGoal(ProvaLiteral goal)
void	ProvaRuleImpl.setHead(ProvaLiteral head)

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

Modifier and Type	Method and Description
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
void	ProvaRuleImpl.replaceTopBodyLiteral(java.util.List<ProvaLiteral> literals)

Constructors in org.provarules.reference2 with parameters of type ProvaLiteral

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

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

Constructor and Description
ProvaGuardedLiteralImpl(ProvaPredicate pred, ProvaList terms, java.util.List<ProvaLiteral> guard)

Uses of ProvaLiteral in org.provarules.reference2.builtins

Method parameters in org.provarules.reference2.builtins with type arguments of type ProvaLiteral

Modifier and Type	Method and Description
boolean	ProvaBuiltinImpl.process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUpdateImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUpdateCacheImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUnlistenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUniqueIdImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUnescapeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTypeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTokenizeListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTokenizeEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTemporalRuleRemoveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaStopPredicateJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSpawnImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlQueryImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlDisconnectImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlConnectImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSolveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSendMsgSyncImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSendMsgImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReverseImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find the reverse of a rest-less list.
boolean	ProvaRetractImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaRetractAllImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMsgPImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMsgImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReadEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPrintlnImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPrintImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPredicateJoinTestImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPredicateJoinExitImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaParseNvImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaParseListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaNotEqualsImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMkListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Append a tail to a list that has no tail
boolean	ProvaMathSubtractImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathRemainderImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathMultiplyImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathDivideImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathAddImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMatchImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMapMergeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Merge two lists and produce a third.
boolean	ProvaListenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLessImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLessEqualImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLengthImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find the length of a rest-less list.
boolean	ProvaJoinTestImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaJavaPredicateImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInsertImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInitPredicateJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInitJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaIamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaGreaterImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaGreaterEqualImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFreeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFopenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFailImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaExpressionLiteralImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaEqualsMinusImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaEqualsImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaElementImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) TODO: All this assumes that collections or iterators contain only ProvaObject members
boolean	ProvaDeriveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCutImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCopyStreamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCopyImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConsultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConstructorImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConcatImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCloneImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCaptureEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCacheImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaByteStreamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
abstract boolean	ProvaBuiltinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaBoundImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAttachImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAtImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find element at the specified position in a list.
boolean	ProvaAssertImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAssertAImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAddGroupResultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Uses of ProvaLiteral in org.provarules.reference2.cache

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

Modifier and Type	Class and Description
class	ProvaCachedLiteralImpl

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

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

Uses of ProvaLiteral in org.provarules.reference2.messaging

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

Modifier and Type	Method and Description
boolean	ProvaWorkflowsImpl.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessengerImpl.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Prepare a rcvMsg goal for sending on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Submits asynchronously a rcvMsg goal scheduled on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Method parameters in org.provarules.reference2.messaging with type arguments of type ProvaLiteral

Modifier and Type	Method and Description
boolean	ProvaWorkflowsImpl.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessengerImpl.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Prepare a rcvMsg goal for sending on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.rcvMsg(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessengerImpl.rcvMsgP(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessengerImpl.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Submits asynchronously a rcvMsg goal scheduled on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

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

Constructor and Description
ProvaGenerateRuleImpl(ProvaKnowledgeBase kb, ProvaLiteral headControl, ProvaLiteral[] provaLiterals)
ProvaGenerateRuleImpl(ProvaKnowledgeBase kb, ProvaLiteral headControl, ProvaLiteral[] provaLiterals)

Uses of ProvaLiteral in org.provarules.reference2.operators

Method parameters in org.provarules.reference2.operators with type arguments of type ProvaLiteral

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)