| Package | Description |
|---|---|
| net.sf.tweety.logics.pl.analysis | |
| net.sf.tweety.logics.pl.semantics | |
| net.sf.tweety.logics.pl.syntax |
| Modifier and Type | Method and Description |
|---|---|
double |
DalalDistance.distance(PossibleWorld a,
PossibleWorld b) |
abstract double |
PossibleWorldDistance.distance(PossibleWorld a,
PossibleWorld b) |
double |
PossibleWorldDistance.distance(PropositionalFormula f,
PossibleWorld b) |
| Modifier and Type | Method and Description |
|---|---|
PossibleWorld |
NicePossibleWorld.getOptimizedWorld() |
PossibleWorld |
PossibleWorldIterator.next() |
| Modifier and Type | Method and Description |
|---|---|
static Set<PossibleWorld> |
PossibleWorld.getAllPossibleWorlds(Collection<Proposition> signature)
Returns the set of all possible worlds for the
given propositional signature.
|
net.sf.tweety.commons.InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset() |
net.sf.tweety.commons.InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset(Collection<? extends net.sf.tweety.commons.Formula> formulas) |
net.sf.tweety.commons.InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset(net.sf.tweety.commons.Signature sig) |
| Modifier and Type | Method and Description |
|---|---|
int |
PossibleWorld.compareTo(PossibleWorld arg0) |
| Modifier and Type | Method and Description |
|---|---|
Set<PossibleWorld> |
PropositionalFormula.getModels()
Returns the set of models of this formula wrt.
|
Set<PossibleWorld> |
Conjunction.getModels(PropositionalSignature sig) |
Set<PossibleWorld> |
Proposition.getModels(PropositionalSignature sig) |
Set<PossibleWorld> |
Disjunction.getModels(PropositionalSignature sig) |
abstract Set<PossibleWorld> |
PropositionalFormula.getModels(PropositionalSignature sig)
Returns the set of models of this formula wrt.
|
Set<PossibleWorld> |
Contradiction.getModels(PropositionalSignature sig) |
Set<PossibleWorld> |
Tautology.getModels(PropositionalSignature sig) |
Set<PossibleWorld> |
Negation.getModels(PropositionalSignature sig) |
Copyright © 2018. All rights reserved.