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

Packages that use PlSignature

Package	Description
net.sf.tweety.arg.saf.syntax
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pcl.reasoner
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.syntax

Uses of PlSignature in net.sf.tweety.arg.saf.syntax

Methods in net.sf.tweety.arg.saf.syntax that return PlSignature

Modifier and Type	Method	Description
PlSignature	BasicArgument.getSignature()

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

Methods in net.sf.tweety.logics.cl.semantics that return PlSignature

Modifier and Type	Method	Description
PlSignature	RankingFunction.getSignature()	Returns the signature of the first-order language this ranking function is defined on.

Constructors in net.sf.tweety.logics.cl.semantics with parameters of type PlSignature

Constructor	Description
RankingFunction(PlSignature signature)	Creates a new ranking function mapping each given interpretation to zero.

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

Methods in net.sf.tweety.logics.cl.syntax that return PlSignature

Modifier and Type	Method	Description
PlSignature	ClBeliefSet.getMinimalSignature()

Uses of PlSignature in net.sf.tweety.logics.pcl.reasoner

Methods in net.sf.tweety.logics.pcl.reasoner with parameters of type PlSignature

Modifier and Type	Method	Description
ProbabilityDistribution<PossibleWorld>	DefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)	Computes the ME-distribution this reasoner bases on.

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 that return PlSignature

Modifier and Type	Method	Description
PlSignature	PriestWorld.getSignature()	Returns the signature of this world.

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

Modifier and Type	Method	Description
static java.util.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(java.util.Collection<? extends PlFormula> formulas)	Returns the set of atoms appearing in the given collection of formulas.
PlSignature	Proposition.getSignature()

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

Modifier and Type	Method	Description
java.util.Set<PossibleWorld>	Conjunction.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	Contradiction.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	Disjunction.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	Equivalence.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	ExclusiveDisjunction.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	Implication.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	Negation.getModels(PlSignature sig)
abstract java.util.Set<PossibleWorld>	PlFormula.getModels(PlSignature sig)	Returns the set of models of this formula wrt.
java.util.Set<PossibleWorld>	Proposition.getModels(PlSignature sig)
java.util.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
EnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)	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, java.io.File pathToTmp, boolean deleteTmp)	Creates a new sampler.

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

Methods in net.sf.tweety.logics.qbf.semantics with parameters of type PlSignature

Modifier and Type	Method	Description
static java.util.Set<QbPossibleWorld>	QbPossibleWorld.getAllPossibleWorlds(PlSignature signature)	Returns the set of all possible worlds for the given propositional signature.

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

Methods in net.sf.tweety.logics.qbf.syntax that return PlSignature

Modifier and Type	Method	Description
PlSignature	ExistsQuantifiedFormula.getSignature()
PlSignature	ForallQuantifiedFormula.getSignature()

Methods in net.sf.tweety.logics.qbf.syntax with parameters of type PlSignature

Modifier and Type	Method	Description
java.util.Set<PossibleWorld>	ExistsQuantifiedFormula.getModels(PlSignature sig)
java.util.Set<PossibleWorld>	ForallQuantifiedFormula.getModels(PlSignature sig)