DefaultSequence (Tweety (Reiter's Default Logic Library) 1.5 API)

public class DefaultSequence
extends Object

Constructors
Constructor and Description
`DefaultSequence(DefaultSequence ds, DefaultRule d)`
`DefaultSequence(DefaultTheory dt)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`DefaultSequence`	`app(DefaultRule d)`
`Collection<net.sf.tweety.logics.fol.syntax.FolFormula>`	`getIn()`
`Collection<net.sf.tweety.logics.fol.syntax.FolFormula>`	`getOut()`
`boolean`	`isClosed()`
`boolean`	`isProcess()` process <=> all defaults are unique and applicable in sequence
`boolean`	`isSuccessful()` successfull <=> no elem in In and Out
`String`	`toString()`

public DefaultSequence(DefaultTheory dt)

public DefaultSequence(DefaultSequence ds,
                       DefaultRule d)

public DefaultSequence app(DefaultRule d)

public Collection<net.sf.tweety.logics.fol.syntax.FolFormula> getIn()

public Collection<net.sf.tweety.logics.fol.syntax.FolFormula> getOut()

Class DefaultSequence