Uses of Class
org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram

Packages that use DefeasibleLogicProgram

Package	Description
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.delp.reasoner
org.tweetyproject.arg.delp.semantics
org.tweetyproject.arg.delp.syntax

Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.parser

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.delp.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.arg.delp.semantics

Methods in org.tweetyproject.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 org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.delp.syntax with parameters of type DefeasibleLogicProgram

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