| Package | Description |
|---|---|
| net.sf.tweety.logics.fol.semantics |
| Modifier and Type | Method and Description |
|---|---|
HerbrandInterpretation |
HerbrandInterpretation.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
|
HerbrandInterpretation |
HerbrandInterpretation.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.
|
| Modifier and Type | Method and Description |
|---|---|
Set<HerbrandInterpretation> |
HerbrandBase.allHerbrandInterpretations()
Computes all possible Herbrand interpretations of this Herbrand
base, i.e.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
HerbrandInterpretation.isSyntacticallyEquivalent(HerbrandInterpretation 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.
|
Copyright © 2018. All rights reserved.