Uses of Class
net.sf.tweety.commons.EntailmentRelation

Packages that use EntailmentRelation

Package	Description
net.sf.tweety.beliefdynamics.kernels
net.sf.tweety.logics.pl

Uses of EntailmentRelation in net.sf.tweety.beliefdynamics.kernels

Fields in net.sf.tweety.beliefdynamics.kernels declared as EntailmentRelation

Modifier and Type	Field and Description
private EntailmentRelation<T>	KernelContractionOperator.entailmentRelation Used to determine kernels.

Constructors in net.sf.tweety.beliefdynamics.kernels with parameters of type EntailmentRelation

Constructor and Description
KernelContractionOperator(IncisionFunction<T> incisionFunction, EntailmentRelation<T> entailmentRelation) Creates a new kernel contraction operator with the given incision function.

Uses of EntailmentRelation in net.sf.tweety.logics.pl

Subclasses of EntailmentRelation in net.sf.tweety.logics.pl

Modifier and Type	Class and Description
class	ClassicalEntailment This class implements classical entailment for propositional logic.

Fields in net.sf.tweety.logics.pl declared as EntailmentRelation

Modifier and Type	Field and Description
private EntailmentRelation<PropositionalFormula>	ClassicalInference.entailment The actual reasoning mechanism.

Constructors in net.sf.tweety.logics.pl with parameters of type EntailmentRelation

Constructor and Description
ClassicalInference(BeliefBase beliefBase, EntailmentRelation<PropositionalFormula> entailment)