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

Packages that use PlSignature

Package	Description
net.sf.tweety.arg.deductive.syntax
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.pcl.syntax
net.sf.tweety.logics.pl.analysis
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.parser
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.syntax
net.sf.tweety.web.services

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

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

Modifier and Type	Method	Description
protected PlSignature	SimplePlLogicDeductiveKnowledgebase.instantiateSignature()

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

Fields in net.sf.tweety.logics.cl.semantics declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	ConditionalStructure.signature	the signature of the conditional structure
private PlSignature	RankingFunction.signature	The signature of the language this ranking function is defined on.

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()
protected PlSignature	ClBeliefSet.instantiateSignature()

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.pcl.syntax

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

Modifier and Type	Method	Description
protected PlSignature	PclBeliefSet.instantiateSignature()

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

Fields in net.sf.tweety.logics.pl.analysis declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	ContensionInconsistencyMeasurementProcess.sig	The signature of the formulas.
private PlSignature	HsInconsistencyMeasurementProcess.sig	The signature of the formulas.

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

Fields in net.sf.tweety.logics.pl.parser declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	DimacsParser.signature	The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).

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

Fields in net.sf.tweety.logics.pl.semantics declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	PossibleWorldIterator.sig	The signature used for creating possible worlds.

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()
protected PlSignature	PlBeliefSet.instantiateSignature()

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

Fields in net.sf.tweety.logics.pl.util declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	EnumeratingIterator.signature	The used signature.
private PlSignature	SyntacticEnumeratingIterator.signature	The used signature.

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

Modifier and Type	Method	Description
private java.util.List<PlFormula>	HsSampler.getCanonicalFormulas(int num, PlSignature sig)	For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
private Pair<java.util.Collection<PlFormula>,java.lang.Integer>	CanonicalIterator.parseAssociativeFormula(java.util.BitSet s, int idx, int numOfTerms, PlSignature sig)	Parses an associate formula from the given bitset starting at index idx, with the given number of terms and the given signature
private Pair<PlFormula,java.lang.Integer>	CanonicalIterator.parseFormula(java.util.BitSet s, int idx, PlSignature sig)	Reads the next formula of the given bitset, starting at the given index.
private Pair<PlFormula,java.lang.Integer>	CanonicalIterator.parseProposition(java.util.BitSet s, int idx, PlSignature sig)	Parses a proposition in bitset s starting from idx.

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, java.io.File pathToTmp, boolean deleteTmp)	Creates a new sampler.

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

Fields in net.sf.tweety.logics.qbf.parser declared as PlSignature

Modifier and Type	Field	Description
private PlSignature	QCirParser.exists_quantified_variables	Keeps track of existentially quantified variables.
private PlSignature	QCirParser.forall_quantified_variables	Keeps track of universally quantified variables.
private PlSignature	QbfParser.variables	Keeps track of variables defined.

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)

Uses of PlSignature in net.sf.tweety.web.services

Fields in net.sf.tweety.web.services with type parameters of type PlSignature

Modifier and Type	Field	Description
(package private) BeliefSet<PlFormula,PlSignature>	InconsistencyMeasurementService.MeasurementCallee.beliefSet

Constructor parameters in net.sf.tweety.web.services with type arguments of type PlSignature

Constructor	Description
MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula,?>> measure, BeliefSet<PlFormula,PlSignature> beliefSet)