Uses of Class net.sf.tweety.logics.pl.syntax.PlSignature (Tweety (Propositional Logic) 1.16 API)

Packages that use PlSignature
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 PlSignature in net.sf.tweety.logics.pl.parser

Methods in net.sf.tweety.logics.pl.parser with parameters of type PlSignature
Modifier and Type	Method	Description
`void`	DimacsParser.`setSignature(PlSignature sig)`	Sets the signature of this parser.

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

Methods in net.sf.tweety.logics.pl.semantics with parameters of type PlSignature
Modifier and Type	Method	Description
`static Set<PossibleWorld>`	PossibleWorld.`getAllPossibleWorlds(PlSignature signature)`	Returns the set of all possible worlds for the given propositional signature.
`PlFormula`	PossibleWorld.`getCompleteConjunction(PlSignature sig)`	Returns the complete conjunction representing this possible world wrt.

Constructors in net.sf.tweety.logics.pl.semantics with parameters of type PlSignature
Constructor	Description
`PossibleWorldIterator(PlSignature sig)`	Creates new iterator for the given signature.

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

Methods in net.sf.tweety.logics.pl.syntax that return PlSignature
Modifier and Type	Method	Description
`PlSignature`	PlSignature.`clone()`
`PlSignature`	PlBeliefSet.`getMinimalSignature()`
`PlSignature`	AssociativePlFormula.`getSignature()`
`PlSignature`	Equivalence.`getSignature()`
`PlSignature`	Implication.`getSignature()`
`PlSignature`	Negation.`getSignature()`
`PlSignature`	PlFormula.`getSignature()`
`static PlSignature`	PlSignature.`getSignature(Collection<? extends PlFormula> formulas)`	Returns the set of atoms appearing in the given collection of formulas.
`PlSignature`	Proposition.`getSignature()`
`protected PlSignature`	PlBeliefSet.`instantiateSignature()`

Methods in net.sf.tweety.logics.pl.syntax with parameters of type PlSignature
Modifier and Type	Method	Description
`Set<PossibleWorld>`	Conjunction.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Contradiction.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Disjunction.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Equivalence.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Implication.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Negation.`getModels(PlSignature sig)`
`abstract Set<PossibleWorld>`	PlFormula.`getModels(PlSignature sig)`	Returns the set of models of this formula wrt.
`Set<PossibleWorld>`	Proposition.`getModels(PlSignature sig)`
`Set<PossibleWorld>`	Tautology.`getModels(PlSignature sig)`

Constructors in net.sf.tweety.logics.pl.syntax with parameters of type PlSignature
Constructor	Description
`PlSignature(PlSignature sig)`	Creates a new propositional signature that is a copy of the given signature.

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

Constructors in net.sf.tweety.logics.pl.util with parameters of type PlSignature
Constructor	Description
`ContensionSampler(PlSignature signature, int incvalue)`	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
`ContensionSampler(PlSignature 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(PlSignature signature)`	Creates a new sampler for the given signature
`HsSampler(PlSignature signature, int incvalue)`	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
`HsSampler(PlSignature 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(PlSignature signature, int incvalue)`	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
`MiSampler(PlSignature 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(PlSignature signature, int formulaLength, File pathToTmp, boolean deleteTmp)`	Creates a new sampler.