Uses of Class
org.tweetyproject.logics.pl.syntax.Equivalence

Packages that use Equivalence

Package	Description
org.tweetyproject.arg.dung.causal.syntax
org.tweetyproject.logics.pl.syntax

Uses of Equivalence in org.tweetyproject.arg.dung.causal.syntax

Methods in org.tweetyproject.arg.dung.causal.syntax that return types with arguments of type Equivalence

Modifier and Type	Method	Description
HashSet<Equivalence>	CausalModel.getStructuralEquations()	Retrieves a copy of the set of structural equations currently defined in the causal model.

Methods in org.tweetyproject.arg.dung.causal.syntax with parameters of type Equivalence

Modifier and Type	Method	Description
boolean	CausalModel.addExplainableAtom(Proposition atom, Equivalence structuralEquation)	Adds a specified atom to the explainable atoms of this instance and the specified equivalence as a structural equation for this atom.
boolean	CausalModel.addStructuralEquation(Equivalence equation)	Adds a specified equivalence to the structural equations of this instance.

Constructor parameters in org.tweetyproject.arg.dung.causal.syntax with type arguments of type Equivalence

Modifier	Constructor	Description
	CausalModel(Set<Equivalence> structuralEquations)	Creates a causal model

Uses of Equivalence in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return Equivalence

Modifier and Type	Method	Description
Equivalence	Equivalence.clone()