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

Packages that use DefeasibleLogicProgram
Package	Description
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.reasoner
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	Description
`private static DefeasibleLogicProgram`	TestArguments.`DELP_BIRDS`
`private static DefeasibleLogicProgram`	TestDTree.`DELP_BIRDS`

Methods in net.sf.tweety.arg.delp with parameters of type DefeasibleLogicProgram
Modifier and Type	Method	Description
`private DelpAnswer.Type`	TestQueries.`query(DefeasibleLogicProgram delp, FolFormula formula)`

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	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	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.reasoner

Methods in net.sf.tweety.arg.delp.reasoner with parameters of type DefeasibleLogicProgram
Modifier and Type	Method	Description
`static java.util.Set<DelpArgument>`	DelpReasoner.`getArgumentsWithConclusion(DefeasibleLogicProgram delp, FolFormula f)`	Returns all arguments with the given conclusion from the delp.
`java.util.Set<DelpArgument>`	DelpReasoner.`getWarrants(DefeasibleLogicProgram delp)`	Computes the subset of the arguments of this program, that are warrants.
`private boolean`	DelpReasoner.`isWarrant(DefeasibleLogicProgram groundDelp, DelpArgument argument)`	Checks whether the given argument is a warrant regarding a given set of arguments
`DelpAnswer.Type`	DelpReasoner.`query(DefeasibleLogicProgram delp, FolFormula f)`

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	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.
`abstract ComparisonCriterion.Result`	ComparisonCriterion.`compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)`	This method returns the relation of `argument1` to `argument2` given `context`.
`ComparisonCriterion.Result`	EmptyCriterion.`compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)`
`ComparisonCriterion.Result`	GeneralizedSpecificity.`compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram 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(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 that return DefeasibleLogicProgram
Modifier and Type	Method	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.

Methods in net.sf.tweety.arg.delp.syntax with parameters of type DefeasibleLogicProgram
Modifier and Type	Method	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

Constructors in net.sf.tweety.arg.delp.syntax with parameters of type DefeasibleLogicProgram
Constructor	Description
`DefeasibleLogicProgram(DefeasibleLogicProgram delp)`	constructor; initializes this program with the given program