Uses of Class
net.sf.tweety.lp.asp.syntax.ASPRule
-
-
-
Uses of ASPRule in net.sf.tweety.arg.lp.syntax
Constructors in net.sf.tweety.arg.lp.syntax with parameters of type ASPRule Constructor Description Argument(ASPRule rule)
Constructor parameters in net.sf.tweety.arg.lp.syntax with type arguments of type ASPRule Constructor Description Argument(java.util.List<ASPRule> rules)
-
Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.baserevision
Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return types with arguments of type ASPRule Modifier and Type Method Description java.util.Collection<ASPRule>
ScreenedMaxichoiceConsolidation. consolidate(java.util.Collection<ASPRule> p)
java.util.Collection<ASPRule>
ELPBaseRevisionOperator. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
MonotoneGlobalMaxichoiceSelectionFunction. select(RemainderSets<ASPRule> remainderSets)
java.util.Collection<ASPRule>
MonotoneGlobalMaxichoiceSelectionFunction. select(ScreenedRemainderSets remainderSets)
Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.Method parameters in net.sf.tweety.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule Modifier and Type Method Description java.util.Collection<ASPRule>
ScreenedMaxichoiceConsolidation. consolidate(java.util.Collection<ASPRule> p)
java.util.Collection<ASPRule>
ELPBaseRevisionOperator. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
MonotoneGlobalMaxichoiceSelectionFunction. select(RemainderSets<ASPRule> remainderSets)
Constructor parameters in net.sf.tweety.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule Constructor Description ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver solver)
Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver. -
Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.revision
Method parameters in net.sf.tweety.lp.asp.beliefdynamics.revision with type arguments of type ASPRule Modifier and Type Method Description Program
CredibilityRevision. revise(java.util.List<java.util.Collection<ASPRule>> ol)
Program
PreferenceHandling. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
-
Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
Methods in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision that return types with arguments of type ASPRule Modifier and Type Method Description java.util.Collection<ASPRule>
ParameterisedArgumentativeSelectiveRevisionOperator. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
NaiveLiteralTransformationFunction. transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
NaiveLiteralTransformationFunction. transform(ASPRule rule)
"Transforms" the single fact by either accepting or rejecting it.java.util.Collection<ASPRule>
ScepticalLiteralTransformationFunction. transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
ScepticalLiteralTransformationFunction. transform(ASPRule rule)
"Transforms" the single rule by either accepting or rejecting it.Methods in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPRule Modifier and Type Method Description java.util.Collection<ASPRule>
NaiveLiteralTransformationFunction. transform(ASPRule rule)
"Transforms" the single fact by either accepting or rejecting it.java.util.Collection<ASPRule>
ScepticalLiteralTransformationFunction. transform(ASPRule rule)
"Transforms" the single rule by either accepting or rejecting it.Method parameters in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule Modifier and Type Method Description java.util.Collection<ASPRule>
ParameterisedArgumentativeSelectiveRevisionOperator. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
NaiveLiteralTransformationFunction. transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>
ScepticalLiteralTransformationFunction. transform(java.util.Collection<ASPRule> formulas)
Constructor parameters in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule Constructor Description NaiveLiteralTransformationFunction(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)
Creates a new naive transformation function for literals.ScepticalLiteralTransformationFunction(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)
Creates a new sceptical transformation function for literals. -
Uses of ASPRule in net.sf.tweety.lp.asp.parser
Methods in net.sf.tweety.lp.asp.parser that return ASPRule Modifier and Type Method Description static ASPRule
ASPCore2Parser. parseRule(java.io.Reader reader)
static ASPRule
ASPCore2Parser. parseRule(java.lang.String rule)
ASPRule
InstantiateVisitor. visit(ASTChoiceElement node, java.lang.Object data)
ASPRule
InstantiateVisitor. visit(ASTOptElement node, java.lang.Object data)
ASPRule
InstantiateVisitor. visit(ASTRule node, java.lang.Object data)
Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type ASPRule Modifier and Type Method Description java.util.List<ASPRule>
InstantiateVisitor. visit(ASTChoiceElementList node, java.lang.Object data)
java.util.List<ASPRule>
InstantiateVisitor. visit(ASTOptElementList node, java.lang.Object data)
java.util.List<ASPRule>
InstantiateVisitor. visit(ASTOpt node, java.lang.Object data)
java.util.List<ASPRule>
InstantiateVisitor. visit(ASTRuleList node, java.lang.Object data)
-
Uses of ASPRule in net.sf.tweety.lp.asp.semantics
Methods in net.sf.tweety.lp.asp.semantics with parameters of type ASPRule Modifier and Type Method Description boolean
AnswerSet. satisfies(ASPRule formula)
-
Uses of ASPRule in net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return ASPRule Modifier and Type Method Description ASPRule
ASPRule. clone()
ASPRule
ASPRule. exchange(Term<?> v, Term<?> t)
ASPRule
ASPRule. substitute(Term<?> v, Term<?> t)
Methods in net.sf.tweety.lp.asp.syntax with parameters of type ASPRule Modifier and Type Method Description int
ASPRule. compareTo(ASPRule arg0)
Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPRule Constructor Description ASPRule(ASPRule other)
Copy-ConstructorConstructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPRule Constructor Description Program(java.util.Collection<ASPRule> rules)
Creates a new program with the given rules.Program(ASPLiteral query, java.util.Set<ASPRule> rules)
Creates a new program with the given query and rules.
-