Uses of Class
net.sf.tweety.logics.pl.syntax.PropositionalSignature

Packages that use PropositionalSignature

Package	Description
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util

Uses of PropositionalSignature in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.logics.pl.semantics with parameters of type PropositionalSignature

Modifier and Type	Method and Description
PropositionalFormula	PossibleWorld.getCompleteConjunction(PropositionalSignature sig) Returns the complete conjunction representing this possible world wrt.

Constructors in net.sf.tweety.logics.pl.semantics with parameters of type PropositionalSignature

Constructor and Description
PossibleWorldIterator(PropositionalSignature sig) Creates new iterator for the given signature.

Uses of PropositionalSignature in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return PropositionalSignature

Modifier and Type	Method and Description
PropositionalSignature	Proposition.getSignature()
PropositionalSignature	AssociativePropositionalFormula.getSignature()
PropositionalSignature	PropositionalFormula.getSignature()
PropositionalSignature	Negation.getSignature()

Methods in net.sf.tweety.logics.pl.syntax with parameters of type PropositionalSignature

Modifier and Type	Method and Description
void	PropositionalSignature.add(PropositionalSignature other) Adds the elements of another signature to the current one.
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)

Uses of PropositionalSignature in net.sf.tweety.logics.pl.util

Constructors in net.sf.tweety.logics.pl.util with parameters of type PropositionalSignature

Constructor and Description
ContensionSampler(PropositionalSignature signature, int incvalue) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
HsSampler(PropositionalSignature signature, int incvalue) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MiSampler(PropositionalSignature signature, int incvalue) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.