Uses of Class
net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation

Packages that use ModalHerbrandInterpretation

Package	Description
net.sf.tweety.logics.ml.semantics

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

Methods in net.sf.tweety.logics.ml.semantics that return ModalHerbrandInterpretation

Modifier and Type	Method and Description
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(java.util.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
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(Term<?> t1, 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 ModalHerbrandInterpretation

Modifier and Type	Method and Description
java.util.Set<ModalHerbrandInterpretation>	ModalHerbrandBase.getAllHerbrandInterpretations() Computes all possible Herbrand interpretations of this Herbrand base, i.e.

Methods in net.sf.tweety.logics.ml.semantics with parameters of type ModalHerbrandInterpretation

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