Uses of Class
net.sf.tweety.logics.pl.syntax.PlSignature
-
-
-
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 structureprivate 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 signatureprivate 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 signatureHsSampler(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.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)
-