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

Packages that use DefeasibleLogicProgram

Package	Description
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.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)
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.
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
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)
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

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