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

Packages that use PropositionalSignature

Package	Description
net.sf.tweety.logics.pl.parser
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.parser

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

Modifier and Type	Method and Description
void	DimacsParser.setSignature(PropositionalSignature sig) Sets the signature of this parser.

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()
static PropositionalSignature	PropositionalSignature.getSignature(Collection<? extends PropositionalFormula> formulas) Returns the set of atoms appearing in the given collection of formulas

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.
ContensionSampler(PropositionalSignature signature, int incvalue, int minLength, int maxLength) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
EnumeratingIterator(PropositionalSignature signature) Creates a new sampler for the given signature
HsSampler(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, int minLength, int maxLength) 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.
MiSampler(PropositionalSignature signature, int incvalue, int minLength, int maxLength) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
SyntacticEnumeratingIterator(PropositionalSignature signature, int formulaLength, File pathToTmp, boolean deleteTmp) Creates a new sampler.