Uses of Interface
org.provarules.kernel2.ProvaResultSet

Packages that use ProvaResultSet

Package	Description
org.provarules.kernel2
org.provarules.parser2
org.provarules.reference2

Uses of ProvaResultSet in org.provarules.kernel2

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

Modifier and Type	Method and Description
ProvaRule	ProvaKnowledgeBase.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)

Uses of ProvaResultSet in org.provarules.parser2

Fields in org.provarules.parser2 with type parameters of type ProvaResultSet

Modifier and Type	Field and Description
static java.lang.ThreadLocal<ProvaResultSet>	ProvaParserImpl.tlRS

Methods in org.provarules.parser2 with parameters of type ProvaResultSet

Modifier and Type	Method and Description
java.util.List<ProvaRule>	ProvaParserImpl.parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.io.BufferedReader in)
java.util.List<ProvaRule>	ProvaParserImpl.parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.lang.String filename)

Uses of ProvaResultSet in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaResultSet

Modifier and Type	Class and Description
class	ProvaResultSetImpl

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

Modifier and Type	Method and Description
ProvaRule	ProvaKnowledgeBaseImpl.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)