Uses of Class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation (Tweety (Modal Logic Library) 1.17 API)

Packages that use MlHerbrandInterpretation
Package Description

net.sf.tweety.logics.ml.semantics

Uses of MlHerbrandInterpretation in net.sf.tweety.logics.ml.semantics

Methods in net.sf.tweety.logics.ml.semantics that return MlHerbrandInterpretation
Modifier and Type	Method	Description
`MlHerbrandInterpretation`	MlHerbrandInterpretation.`exchange(Map<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,net.sf.tweety.logics.commons.syntax.interfaces.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t1, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t2)`	Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.

Methods in net.sf.tweety.logics.ml.semantics that return types with arguments of type MlHerbrandInterpretation
Modifier and Type	Method	Description
`Set<MlHerbrandInterpretation>`	MlHerbrandBase.`getAllHerbrandInterpretations()`	Computes all possible Herbrand interpretations of this Herbrand base, i.e.

Methods in net.sf.tweety.logics.ml.semantics with parameters of type MlHerbrandInterpretation
Modifier and Type	Method	Description
`boolean`	MlHerbrandInterpretation.`isSyntacticallyEquivalent(MlHerbrandInterpretation other, Collection<? extends Collection<? extends net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses)`	Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.