Uses of Class
net.sf.tweety.arg.delp.DefeasibleLogicProgram

Packages that use DefeasibleLogicProgram

Package	Description
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.semantics
net.sf.tweety.arg.delp.syntax

Uses of DefeasibleLogicProgram in net.sf.tweety.arg.delp

Fields in net.sf.tweety.arg.delp declared as DefeasibleLogicProgram

Modifier and Type	Field and Description
private static DefeasibleLogicProgram	TestDTree.DELP_BIRDS
private static DefeasibleLogicProgram	TestArguments.DELP_BIRDS
private DefeasibleLogicProgram	DelpReasoner.groundDelp

Methods in net.sf.tweety.arg.delp that return DefeasibleLogicProgram

Modifier and Type	Method and Description
DefeasibleLogicProgram	DefeasibleLogicProgram.ground() In general, a delp comprises of rule schemes with variables.
DefeasibleLogicProgram	DefeasibleLogicProgram.ground(java.util.Set<Constant> constants) In general, a delp comprises of rule schemes with variables.

Constructors in net.sf.tweety.arg.delp with parameters of type DefeasibleLogicProgram

Constructor and Description
DefeasibleLogicProgram(DefeasibleLogicProgram delp) constructor; initializes this program with the given program

Uses of DefeasibleLogicProgram in net.sf.tweety.arg.delp.parser

Methods in net.sf.tweety.arg.delp.parser that return DefeasibleLogicProgram

Modifier and Type	Method and Description
DefeasibleLogicProgram	DelpParser.parseBeliefBase(java.io.Reader reader)
DefeasibleLogicProgram	DelpParser.Theory(FolSignature signature)

Methods in net.sf.tweety.arg.delp.parser with parameters of type DefeasibleLogicProgram

Modifier and Type	Method and Description
FOLAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)
private Constant	DelpParser.createConstant(java.lang.String image, DefeasibleLogicProgram delp, FolSignature signature)
void	DelpParser.Expression(DefeasibleLogicProgram delp, FolSignature signature)
FolFormula	DelpParser.Literal(DefeasibleLogicProgram delp, FolSignature signature)
Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)

Uses of DefeasibleLogicProgram in net.sf.tweety.arg.delp.semantics

Methods in net.sf.tweety.arg.delp.semantics with parameters of type DefeasibleLogicProgram

Modifier and Type	Method and Description
private boolean	GeneralizedSpecificity.actSetTest(java.util.Set<java.util.Set<FolFormula>> ntActSets, DelpArgument arg, DefeasibleLogicProgram delp) Test whether all given activation sets activate the given argument.
ComparisonCriterion.Result	GeneralizedSpecificity.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
ComparisonCriterion.Result	EmptyCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
abstract ComparisonCriterion.Result	ComparisonCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context) This method returns the relation of argument1 to argument2 given context.
static java.util.Set<ArgumentCompletion>	ArgumentCompletion.getCompletions(DelpArgument argument, DefeasibleLogicProgram delp) This static method computes all argument completions for the given parameter argument using the strict rules from the parameter delp
java.util.Set<DialecticalTree>	DialecticalTree.getDefeaters(java.util.Set<DelpArgument> arguments, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion) Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters.
boolean	DialecticalTree.isAcceptable(DelpArgument argument, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion) Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp
private boolean	GeneralizedSpecificity.isActivated(DelpArgument arg, java.util.Set<FolFormula> activationSet, DefeasibleLogicProgram delp) Test whether the given argument is activated by the given activation set.

Uses of DefeasibleLogicProgram in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax with parameters of type DefeasibleLogicProgram

Modifier and Type	Method and Description
java.util.Set<FolFormula>	DelpArgument.getAttackOpportunities(DefeasibleLogicProgram delp) Computes the set of literals that disagree with the conclusion of a subargument of this argument
DelpArgument	DelpArgument.getDisagreementSubargument(FolFormula lit, DefeasibleLogicProgram delp) Computes the disagreement subargument of this argument for the given literal