Uses of Class
org.tweetyproject.logics.pl.syntax.PlSignature

Packages that use PlSignature

Package	Description
org.tweetyproject.arg.saf.syntax
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax

Uses of PlSignature in org.tweetyproject.arg.saf.syntax

Methods in org.tweetyproject.arg.saf.syntax that return PlSignature

Modifier and Type	Method	Description
PlSignature	BasicArgument.getSignature()

Uses of PlSignature in org.tweetyproject.logics.cl.semantics

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return PlSignature

Modifier and Type	Method	Description
PlSignature	ClBeliefSet.getMinimalSignature()

Uses of PlSignature in org.tweetyproject.logics.pcl.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.parser

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.logics.pl.semantics that return PlSignature

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

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.semantics with parameters of type PlSignature

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

Uses of PlSignature in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.syntax with parameters of type PlSignature

Modifier and Type	Method	Description
java.util.Set<PossibleWorld>	CardinalityConstraint.getModels(PlSignature sig)
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 org.tweetyproject.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 org.tweetyproject.logics.pl.util

Constructors in org.tweetyproject.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 org.tweetyproject.logics.qbf.semantics

Methods in org.tweetyproject.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 org.tweetyproject.logics.qbf.syntax

Methods in org.tweetyproject.logics.qbf.syntax that return PlSignature

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

Methods in org.tweetyproject.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)