Uses of Interface
org.provarules.kernel2.ProvaList

Packages that use ProvaList

Package	Description
org.provarules.agent2
org.provarules.api2
org.provarules.esb2
org.provarules.kernel2
org.provarules.kernel2.cache
org.provarules.kernel2.messaging
org.provarules.parser
org.provarules.reference2
org.provarules.reference2.cache
org.provarules.reference2.eventing
org.provarules.reference2.messaging
org.provarules.service
org.provarules.service.impl

Uses of ProvaList in org.provarules.agent2

Methods in org.provarules.agent2 with parameters of type ProvaList

Modifier and Type	Method and Description
boolean	ProvaReagentImpl.spawn(ProvaList terms)
boolean	ProvaReagent.spawn(ProvaList terms)

Uses of ProvaList in org.provarules.api2

Methods in org.provarules.api2 with parameters of type ProvaList

Modifier and Type	Method and Description
void	ProvaCommunicatorImpl.addMsg(ProvaList terms)
void	ProvaCommunicator.addMsg(ProvaList terms)

Uses of ProvaList in org.provarules.esb2

Methods in org.provarules.esb2 with parameters of type ProvaList

Modifier and Type	Method and Description
void	ProvaAgent.receive(ProvaList terms)
void	ProvaAgent.send(java.lang.String dest, ProvaList terms)

Uses of ProvaList in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaList

Modifier and Type	Method and Description
ProvaList	ProvaList.copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaList	ProvaList.copyWithVariables(java.util.List<ProvaVariable> variables)
ProvaList	ProvaListPtr.getAssigned()
ProvaList	ProvaListPtr.getAssignedWithOffset()
ProvaList	ProvaLiteral.getTerms()
ProvaList	ProvaList.rebuild(ProvaUnification unification)
ProvaList	ProvaList.rebuildSource(ProvaUnification unification)
ProvaList	ProvaList.shallowCopy()

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

Modifier and Type	Method and Description
void	ProvaGoal.addAnswer(ProvaList terms)
void	ProvaGoal.addOuterAnswer(ProvaList terms)
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(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBase.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
void	ProvaLiteral.setTerms(ProvaList newList)

Uses of ProvaList in org.provarules.kernel2.cache

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

Modifier and Type	Method and Description
java.util.Collection<ProvaList>	ProvaLocalAnswers.getSolutions()
java.util.Collection<ProvaList>	ProvaCacheState.getSolutions()

Methods in org.provarules.kernel2.cache with parameters of type ProvaList

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

Uses of ProvaList in org.provarules.kernel2.messaging

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

Modifier and Type	Method and Description
void	ProvaMessenger.addGroupResult(ProvaList terms)
void	ProvaMessenger.addMsg(ProvaList terms)
boolean	ProvaMessenger.removeTemporalRule(ProvaPredicate predicate, ProvaPredicate predicate2, long key, boolean recursive, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaList in org.provarules.parser

Methods in org.provarules.parser that return ProvaList

Modifier and Type	Method and Description
ProvaList	ProvaWalker2.args()
ProvaList	ProvaWalker2.list_body()
ProvaList	ProvaWalker2.prova_list()

Uses of ProvaList in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaList

Modifier and Type	Class and Description
class	ProvaListImpl

Fields in org.provarules.reference2 declared as ProvaList

Modifier and Type	Field and Description
protected ProvaList	ProvaLiteralImpl.terms

Methods in org.provarules.reference2 that return ProvaList

Modifier and Type	Method and Description
ProvaList	ProvaListImpl.copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaList	ProvaListImpl.copyWithVariables(java.util.List<ProvaVariable> variables)
static ProvaList	ProvaListImpl.create(java.util.List<ProvaObject> list)
static ProvaList	ProvaListImpl.create(ProvaObject[] fixed)
static ProvaList	ProvaListImpl.create(ProvaObject[] fixed, ProvaObject tail)
ProvaList	ProvaListPtrImpl.getAssigned()
ProvaList	ProvaListPtrImpl.getAssignedWithOffset()
ProvaList	ProvaLiteralImpl.getTerms()
ProvaList	ProvaListImpl.rebuild(ProvaUnification unification)
ProvaList	ProvaListImpl.rebuildSource(ProvaUnification unification)
ProvaList	ProvaListImpl.shallowCopy()

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

Modifier and Type	Method and Description
void	ProvaGoalImpl.addAnswer(ProvaList terms)
void	ProvaGoalImpl.addOuterAnswer(ProvaList terms)
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(java.lang.String symbol, ProvaList terms)
ProvaLiteral	ProvaKnowledgeBaseImpl.generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
void	ProvaListPtrImpl.setAssigned(ProvaList assigned)
void	ProvaLiteralImpl.setTerms(ProvaList terms)

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

Modifier and Type	Method and Description
void	ProvaUnificationImpl.setMeta(java.util.List<ProvaList> meta)

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

Constructor and Description
ProvaGuardedLiteralImpl(ProvaPredicate pred, ProvaList terms, java.util.List<ProvaLiteral> guard)
ProvaListPtrImpl(ProvaList assigned, int offset)
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms)
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaList in org.provarules.reference2.cache

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

Modifier and Type	Method and Description
java.util.Collection<ProvaList>	ProvaLocalAnswersImpl.getSolutions()
java.util.Collection<ProvaList>	ProvaCacheStateImpl.getSolutions()

Methods in org.provarules.reference2.cache with parameters of type ProvaList

Modifier and Type	Method and Description
boolean	ProvaLocalAnswersImpl.addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key, ProvaList terms)
boolean	ProvaCacheStateImpl.addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key, ProvaList literalList) Only add new answers
ProvaCacheStateImpl.ProvaCacheAnswerKey	ProvaCacheStateImpl.getCacheAnswerKey(ProvaList literalList, java.util.List<ProvaVariable> variables)

Constructors in org.provarules.reference2.cache with parameters of type ProvaList

Constructor and Description
ProvaCachedLiteralImpl(ProvaPredicate predicate, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)

Uses of ProvaList in org.provarules.reference2.eventing

Methods in org.provarules.reference2.eventing with parameters of type ProvaList

Modifier and Type	Method and Description
void	ProvaGroup.addResult(ProvaList result)
void	ProvaBasicGroupImpl.addResult(ProvaList result)
ProvaGroup.EventDetectionStatus	ProvaOrGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaGroup.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaBasicGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long key, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaAndGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)

Uses of ProvaList in org.provarules.reference2.messaging

Methods in org.provarules.reference2.messaging that return ProvaList

Modifier and Type	Method and Description
ProvaList	RemoveList.getReaction()

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

Modifier and Type	Method and Description
void	ProvaMessengerImpl.addGroupResult(ProvaList terms)
void	ProvaMessengerImpl.addMsg(ProvaList terms)
boolean	ProvaMessengerImpl.removeTemporalRule(ProvaPredicate predicate, ProvaPredicate predicate2, long key, boolean recursive, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)
void	RemoveList.setReaction(ProvaList reaction)

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

Constructor and Description
ProvaESBMessageImpl(java.lang.String dest, ProvaList terms, ProvaAgent esb)
ProvaServiceMessageImpl(java.lang.String dest, ProvaList terms, java.lang.String agent, ProvaMiniService service2)
RemoveList(ProvaPredicate p1, ProvaPredicate p2, long ruleid, ProvaList reaction)

Uses of ProvaList in org.provarules.service

Methods in org.provarules.service with parameters of type ProvaList

Modifier and Type	Method and Description
void	ProvaService.send(java.lang.String dest, ProvaList terms)

Uses of ProvaList in org.provarules.service.impl

Methods in org.provarules.service.impl with parameters of type ProvaList

Modifier and Type	Method and Description
void	ProvaServiceImpl.send(java.lang.String dest, ProvaList terms)