Uses of Class
org.tweetyproject.logics.rdl.semantics.DefaultSequence
-
Packages that use DefaultSequence Package Description org.tweetyproject.logics.rdl.semantics -
-
Uses of DefaultSequence in org.tweetyproject.logics.rdl.semantics
Methods in org.tweetyproject.logics.rdl.semantics that return DefaultSequence Modifier and Type Method Description DefaultSequence
DefaultSequence. app(DefaultRule d)
Constructs a new DefaultSequenceMethods in org.tweetyproject.logics.rdl.semantics that return types with arguments of type DefaultSequence Modifier and Type Method Description java.util.Collection<DefaultSequence>
DefaultProcessTree. getProcesses()
Constructors in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultSequence Constructor Description DefaultSequence(DefaultSequence ds, DefaultRule d)
constructs a sequence by appending d to ds
-