Class SimplePlLogicArgument
java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
- All Implemented Interfaces:
Comparable<Argument>
,DungEntity
,Formula
,Node
- Author:
- Federico Cerutti (federico.cerutti(at)acm.org) Argument structure as defined in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
-
Constructor Summary
ConstructorDescriptionSimplePlLogicArgument
(Collection<SimplePlRule> _support, PlFormula _claim) constructorSimplePlLogicArgument
(Derivation<SimplePlRule> derivation) Constructor -
Method Summary
Modifier and TypeMethodDescriptionboolean
getClaim()
Collection<? extends SimplePlRule>
int
hashCode()
toString()
prints String representationMethods inherited from class org.tweetyproject.arg.dung.syntax.Argument
compareTo, getLdoArgument, getLdoFormula, getName, getSignature, setName
-
Constructor Details
-
SimplePlLogicArgument
constructor -
SimplePlLogicArgument
Constructor- Parameters:
derivation
- some derivation
-
-
Method Details