Uses of Class
org.tweetyproject.logics.pl.syntax.PlSignature
Package
Description
-
Uses of PlSignature in org.tweetyproject.arg.saf.syntax
-
Uses of PlSignature in org.tweetyproject.logics.cl.semantics
Modifier and TypeMethodDescriptionRankingFunction.getSignature()
Returns the signature of the first-order language this ranking function is defined on.ModifierConstructorDescriptionRankingFunction(PlSignature signature)
Creates a new ranking function mapping each given interpretation to zero. -
Uses of PlSignature in org.tweetyproject.logics.cl.syntax
-
Uses of PlSignature in org.tweetyproject.logics.pcl.reasoner
Modifier and TypeMethodDescriptionDefaultMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.GeneralizedMeReasoner.getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on. -
Uses of PlSignature in org.tweetyproject.logics.pl.parser
Modifier and TypeMethodDescriptionvoid
DimacsParser.setSignature(PlSignature sig)
Sets the signature of this parser. -
Uses of PlSignature in org.tweetyproject.logics.pl.semantics
Modifier and TypeMethodDescriptionPriestWorld.getSignature()
Returns the signature of this world.Modifier and TypeMethodDescriptionstatic Set<PossibleWorld>
PossibleWorld.getAllPossibleWorlds(PlSignature signature)
Returns the set of all possible worlds for the given propositional signature.PossibleWorld.getCompleteConjunction(PlSignature sig)
Returns the complete conjunction representing this possible world wrt.ModifierConstructorDescriptionCreates new iterator for the given signature. -
Uses of PlSignature in org.tweetyproject.logics.pl.syntax
Modifier and TypeMethodDescriptionPlSignature.clone()
PlBeliefSet.getMinimalSignature()
AssociativePlFormula.getSignature()
Equivalence.getSignature()
Implication.getSignature()
Negation.getSignature()
PlFormula.getSignature()
static PlSignature
PlSignature.getSignature(Collection<? extends PlFormula> formulas)
Returns the set of atoms appearing in the given collection of formulas.Proposition.getSignature()
Modifier and TypeMethodDescriptionConjunction.getModels(PlSignature sig)
Contradiction.getModels(PlSignature sig)
Disjunction.getModels(PlSignature sig)
Equivalence.getModels(PlSignature sig)
ExclusiveDisjunction.getModels(PlSignature sig)
Implication.getModels(PlSignature sig)
Negation.getModels(PlSignature sig)
abstract Set<PossibleWorld>
PlFormula.getModels(PlSignature sig)
Returns the set of models of this formula wrt.Proposition.getModels(PlSignature sig)
Tautology.getModels(PlSignature sig)
ModifierConstructorDescriptionPlSignature(PlSignature sig)
Creates a new propositional signature that is a copy of the given signature. -
Uses of PlSignature in org.tweetyproject.logics.pl.util
ModifierConstructorDescriptionContensionSampler(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 signatureEnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)
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, File pathToTmp, boolean deleteTmp)
Creates a new sampler. -
Uses of PlSignature in org.tweetyproject.logics.qbf.semantics
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionExistsQuantifiedFormula.getSignature()
ForallQuantifiedFormula.getSignature()
Modifier and TypeMethodDescriptionExistsQuantifiedFormula.getModels(PlSignature sig)
ForallQuantifiedFormula.getModels(PlSignature sig)
-
Uses of PlSignature in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionIndecision.getSignature()
PriestWorldAdapted.getSignature()
Returns the signature of this world.RankingFunctionThreeValued.getSignature()
Returns the signature of the first-order language this ranking function is defined on.WeakNegation.getSignature()
Modifier and TypeMethodDescriptionIndecision.getModels(PlSignature sig)
WeakNegation.getModels(PlSignature sig)
ModifierConstructorDescriptionCreates new iterator for the given signature.RankingFunctionThreeValued(PlSignature signature)
Creates a new ranking function mapping each given interpretation to zero.