Uses of Class
net.sf.tweety.logics.rdl.semantics.DefaultSequence

Packages that use DefaultSequence

Package	Description
net.sf.tweety.logics.rdl.semantics

Uses of DefaultSequence in net.sf.tweety.logics.rdl.semantics

Methods in net.sf.tweety.logics.rdl.semantics that return DefaultSequence

Modifier and Type	Method	Description
DefaultSequence	DefaultSequence.app(DefaultRule d)	Constructs a new DefaultSequence

Methods in net.sf.tweety.logics.rdl.semantics that return types with arguments of type DefaultSequence

Modifier and Type	Method	Description
java.util.Collection<DefaultSequence>	DefaultProcessTree.getProcesses()

Constructors in net.sf.tweety.logics.rdl.semantics with parameters of type DefaultSequence

Constructor	Description
DefaultSequence(DefaultSequence ds, DefaultRule d)	constructs a sequence by appending d to ds