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
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision

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

Modifier	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 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

Modifier	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(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
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>	ExclusiveDisjunction.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 org.tweetyproject.logics.pl.syntax with parameters of type PlSignature

Modifier	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

Modifier	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, 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 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
Set<PossibleWorld>	ExistsQuantifiedFormula.getModels(PlSignature sig)
Set<PossibleWorld>	ForallQuantifiedFormula.getModels(PlSignature sig)

Uses of PlSignature in org.tweetyproject.logics.translators.adfconditional

Methods in org.tweetyproject.logics.translators.adfconditional that return PlSignature

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

Methods in org.tweetyproject.logics.translators.adfconditional with parameters of type PlSignature

Modifier and Type	Method	Description
static Collection<FourValuedWorld>	CADFSemantics.gammaOperator(ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig, FourValuedWorld worldInput)	Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation
static Collection<FourValuedWorld>	CADFSemantics.gammaPrimeOperator(Collection<FourValuedWorld> inputCollection, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig)	Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones

Constructors in org.tweetyproject.logics.translators.adfconditional with parameters of type PlSignature

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

Uses of PlSignature in org.tweetyproject.logics.translators.adfpossibilistic

Methods in org.tweetyproject.logics.translators.adfpossibilistic that return PlSignature

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

Constructors in org.tweetyproject.logics.translators.adfpossibilistic with parameters of type PlSignature

Modifier	Constructor	Description
	PossibilityDistribution(PlSignature signature)	Creates a new possibility distribution (PD) mapping each given interpretation to 1.0 (least specific value = maximal entropy).

Uses of PlSignature in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision that return PlSignature

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

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type PlSignature

Modifier and Type	Method	Description
Set<PossibleWorld>	Indecision.getModels(PlSignature sig)
Set<PossibleWorld>	WeakNegation.getModels(PlSignature sig)

Constructors in org.tweetyproject.logics.translators.adfrevision with parameters of type PlSignature

Modifier	Constructor	Description
	PriestWorldIterator(PlSignature sig)	Creates new iterator for the given signature.
	RankingFunctionThreeValued(PlSignature signature)	Creates a new ranking function mapping each given interpretation to zero.