Uses of Class
org.tweetyproject.logics.rdl.syntax.DefaultRule
-
Packages that use DefaultRule Package Description org.tweetyproject.logics.rdl.semantics org.tweetyproject.logics.rdl.syntax -
-
Uses of DefaultRule in org.tweetyproject.logics.rdl.semantics
Methods in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultRule Modifier and Type Method Description DefaultSequence
DefaultSequence. app(DefaultRule d)
Constructs a new DefaultSequenceboolean
DefaultSequence. isApplicable(DefaultRule d)
applicable ^= pre in In and (not jus_i) not in In forall iConstructors in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultRule Constructor Description DefaultSequence(DefaultSequence ds, DefaultRule d)
constructs a sequence by appending d to ds -
Uses of DefaultRule in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type DefaultRule Modifier and Type Method Description java.util.Collection<DefaultRule>
DefaultTheory. getDefaults()
Constructor parameters in org.tweetyproject.logics.rdl.syntax with type arguments of type DefaultRule Constructor Description DefaultTheory(FolBeliefSet facts, java.util.Collection<DefaultRule> defaults)
constructs a default theory from a knowledge base and a set of defaults
-