Uses of Class
org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation

Packages that use MlHerbrandInterpretation

Package	Description
org.tweetyproject.logics.ml.semantics

Uses of MlHerbrandInterpretation in org.tweetyproject.logics.ml.semantics

Methods in org.tweetyproject.logics.ml.semantics that return MlHerbrandInterpretation

Modifier and Type	Method	Description
MlHerbrandInterpretation	MlHerbrandInterpretation.exchange(Map<Term<?>,Term<?>> mapping)	For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
MlHerbrandInterpretation	MlHerbrandInterpretation.exchange(Term<?> t1, Term<?> t2)	Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.

Methods in org.tweetyproject.logics.ml.semantics that return types with arguments of type MlHerbrandInterpretation

Modifier and Type	Method	Description
Set<MlHerbrandInterpretation>	MlHerbrandBase.getAllHerbrandInterpretations()	Returns all possible Herbrand interpretations.

Methods in org.tweetyproject.logics.ml.semantics with parameters of type MlHerbrandInterpretation

Modifier and Type	Method	Description
boolean	MlHerbrandInterpretation.isSyntacticallyEquivalent(MlHerbrandInterpretation other, Collection<? extends Collection<? extends Constant>> equivalenceClasses)	Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.