java.lang.Object
- net.sf.tweety.arg.dung.syntax.Argument
- - net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument

Constructors
Constructor	Description
`SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PlFormula _claim)`
`SimplePlLogicArgument(Derivation<SimplePlRule> derivation)`	Constructor

Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`PlFormula`	`getClaim()`
`java.util.Collection<? extends SimplePlRule>`	`getSupport()`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument
getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

private java.util.Collection<SimplePlRule> support

public SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support,
                             PlFormula _claim)

public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)

Constructor

public java.util.Collection<? extends SimplePlRule> getSupport()

public boolean equals(java.lang.Object obj)

Modifier and Type	Field	Description
`private PlFormula`	`claim`
`private java.util.Collection<SimplePlRule>`	`support`

Class SimplePlLogicArgument