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 DefaultSequence
boolean	DefaultSequence.isApplicable(DefaultRule d)	applicable ^= pre in In and (not jus_i) not in In forall i

Constructors in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultRule

Modifier	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
Collection<DefaultRule>	DefaultTheory.getDefaults()

Constructor parameters in org.tweetyproject.logics.rdl.syntax with type arguments of type DefaultRule

Modifier	Constructor	Description
	DefaultTheory(FolBeliefSet facts, Collection<DefaultRule> defaults)	constructs a default theory from a knowledge base and a set of defaults