SimplePlLogicArgument

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

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

Constructors
Constructor and Description
`SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PropositionalFormula _claim)`
`SimplePlLogicArgument(DigraphNode<SimplePlRule> node)` Constructor

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object obj)`
`PropositionalFormula`	`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,
                             PropositionalFormula _claim)

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

public PropositionalFormula getClaim()

public boolean equals(java.lang.Object obj)

Class SimplePlLogicArgument