Uses of Interface
org.tweetyproject.commons.Signature
-
-
-
Uses of Signature in org.tweetyproject.action.description.syntax
Methods in org.tweetyproject.action.description.syntax that return Signature Modifier and Type Method Description Signature
CActionDescription. getMinimalSignature()
abstract Signature
CLaw. getSignature()
Signature
DynamicLaw. getSignature()
Signature
StaticLaw. getSignature()
-
Uses of Signature in org.tweetyproject.action.query.syntax
Methods in org.tweetyproject.action.query.syntax that return Signature Modifier and Type Method Description Signature
SActionQuerySet. getMinimalSignature()
Signature
SActionQuery. getSignature()
-
Uses of Signature in org.tweetyproject.action.signature
Classes in org.tweetyproject.action.signature that implement Signature Modifier and Type Class Description class
ActionSignature
This class represents an action signature consisting of a set of fluent names (representing environment states) and a set of action names (representing actions). -
Uses of Signature in org.tweetyproject.arg.aba.syntax
Methods in org.tweetyproject.arg.aba.syntax that return Signature Modifier and Type Method Description Signature
AbaTheory. getMinimalSignature()
Signature
Assumption. getSignature()
Signature
InferenceRule. getSignature()
Signature
Negation. getSignature()
-
Uses of Signature in org.tweetyproject.arg.aspic.syntax
Methods in org.tweetyproject.arg.aspic.syntax that return Signature Modifier and Type Method Description Signature
AspicArgumentationTheory. getMinimalSignature()
Signature
InferenceRule. getSignature()
-
Uses of Signature in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return Signature Modifier and Type Method Description Signature
AbstractBipolarFramework. getMinimalSignature()
Signature
ArgumentSet. getSignature()
Signature
BinaryAttack. getSignature()
Signature
BinarySupport. getSignature()
Signature
SetAttack. getSignature()
Signature
SetSupport. getSignature()
-
Uses of Signature in org.tweetyproject.arg.deductive.syntax
Methods in org.tweetyproject.arg.deductive.syntax that return Signature Modifier and Type Method Description Signature
SimplePlLogicDeductiveKnowledgebase. getMinimalSignature()
Signature
SimplePlRule. getSignature()
-
Uses of Signature in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return Signature Modifier and Type Method Description Signature
DefeasibleLogicProgram. getMinimalSignature()
Signature
DelpArgument. getSignature()
Always null. -
Uses of Signature in org.tweetyproject.arg.dung.ldo.syntax
Methods in org.tweetyproject.arg.dung.ldo.syntax that return Signature Modifier and Type Method Description Signature
LdoAssociativeFormula. createEmptySignature()
-
Uses of Signature in org.tweetyproject.arg.dung.syntax
Classes in org.tweetyproject.arg.dung.syntax that implement Signature Modifier and Type Class Description class
DungSignature
This class captures the signature of a Dung theory, i.e.Methods in org.tweetyproject.arg.dung.syntax that return Signature Modifier and Type Method Description Signature
DungTheory. getMinimalSignature()
Signature
Argument. getSignature()
Signature
Attack. getSignature()
-
Uses of Signature in org.tweetyproject.arg.lp.syntax
Methods in org.tweetyproject.arg.lp.syntax that return Signature Modifier and Type Method Description Signature
ArgumentationKnowledgeBase. getMinimalSignature()
Signature
Argument. getSignature()
-
Uses of Signature in org.tweetyproject.arg.prob.syntax
Methods in org.tweetyproject.arg.prob.syntax that return Signature Modifier and Type Method Description Signature
PartialProbabilityAssignment. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.arg.saf.util
Constructors in org.tweetyproject.arg.saf.util with parameters of type Signature Constructor Description BasicArgumentSampler(Signature signature)
Creates a new basic argument sampler for the given signature.SimpleSafSampler(Signature signature)
Creates a new SimpleSafSampler for the given signature.SimpleSafSampler(Signature signature, int minLength, int maxLength)
Creates a new SimpleSafSampler for the given signature. -
Uses of Signature in org.tweetyproject.beliefdynamics.mas
Classes in org.tweetyproject.beliefdynamics.mas with type parameters of type Signature Modifier and Type Class Description class
CrMasBeliefSet<T extends Formula,S extends Signature>
This class represents belief sets for credibility-based agents multi-agent systems.Methods in org.tweetyproject.beliefdynamics.mas that return Signature Modifier and Type Method Description Signature
CrMasBeliefSet. getMinimalSignature()
Signature
InformationObject. getSignature()
-
Uses of Signature in org.tweetyproject.commons
Classes in org.tweetyproject.commons with type parameters of type Signature Modifier and Type Class Description class
BeliefSet<T extends Formula,S extends Signature>
This class models a belief set, i.e.Classes in org.tweetyproject.commons that implement Signature Modifier and Type Class Description class
DualSetSignature<T,S>
This class models a signature as two sets of formulas.class
QuadrupleSetSignature<T,S,U,R>
This class models a signature as four sets of formulas.class
SingleSetSignature<T>
This class models a signature as a set of formulas.class
TripleSetSignature<T,S,U>
This class models a signature as three sets of formulas.Methods in org.tweetyproject.commons that return Signature Modifier and Type Method Description Signature
Signature. clone()
Signature
BeliefBase. getMinimalSignature()
Returns the signature of the language of this knowledge base.Signature
BeliefSetSampler. getSamplerSignature()
Returns the signature of this sampler.Signature
Formula. getSignature()
Returns the signature of the language of this formula.Signature
FormulaSampler. getSignature()
Returns the signature of this sampler.Methods in org.tweetyproject.commons with parameters of type Signature Modifier and Type Method Description void
DualSetSignature. addSignature(Signature other)
void
QuadrupleSetSignature. addSignature(Signature other)
void
Signature. addSignature(Signature other)
Adds the elements of the given signature to this signature.void
SingleSetSignature. addSignature(Signature other)
void
TripleSetSignature. addSignature(Signature other)
boolean
DualSetSignature. isOverlappingSignature(Signature other)
boolean
QuadrupleSetSignature. isOverlappingSignature(Signature other)
boolean
Signature. isOverlappingSignature(Signature other)
Checks whether this signature has common elements with the given signature, i.e.boolean
SingleSetSignature. isOverlappingSignature(Signature other)
boolean
TripleSetSignature. isOverlappingSignature(Signature other)
boolean
DualSetSignature. isSubSignature(Signature other)
boolean
QuadrupleSetSignature. isSubSignature(Signature other)
boolean
Signature. isSubSignature(Signature other)
Checks whether this signature is a sub-signature of the given signature, i.e.boolean
SingleSetSignature. isSubSignature(Signature other)
boolean
TripleSetSignature. isSubSignature(Signature other)
InterpretationIterator<S,B,T>
InterpretationIterator. reset(Signature sig)
Initializes a new reseted iterator for the given signature.Constructors in org.tweetyproject.commons with parameters of type Signature Constructor Description BeliefSetSampler(Signature signature)
Creates a new belief base sampler for the given signature.BeliefSetSampler(Signature signature, int minLength, int maxLength)
Creates a new belief base sampler for the given signature.FormulaSampler(Signature signature)
Creates a new formula sampler for the given signature. -
Uses of Signature in org.tweetyproject.commons.util.rules
Methods in org.tweetyproject.commons.util.rules that return Signature Modifier and Type Method Description Signature
Rule. getSignature()
-
Uses of Signature in org.tweetyproject.logics.bpm.syntax
Classes in org.tweetyproject.logics.bpm.syntax that implement Signature Modifier and Type Class Description class
BpmnSignature
Methods in org.tweetyproject.logics.bpm.syntax that return Signature Modifier and Type Method Description Signature
BpmnSignature. clone()
Signature
BpmnModel. getMinimalSignature()
Signature
BpmnFormula. getSignature()
Methods in org.tweetyproject.logics.bpm.syntax with parameters of type Signature Modifier and Type Method Description void
BpmnSignature. addSignature(Signature other)
boolean
BpmnSignature. isOverlappingSignature(Signature other)
boolean
BpmnSignature. isSubSignature(Signature other)
-
Uses of Signature in org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return Signature Modifier and Type Method Description Signature
Conditional. getSignature()
-
Uses of Signature in org.tweetyproject.logics.commons.syntax
Methods in org.tweetyproject.logics.commons.syntax that return Signature Modifier and Type Method Description Signature
AssociativeFormulaSupport.AssociativeSupportBridge. createEmptySignature()
Signature
AssociativeFormulaSupport. getSignature()
-
Uses of Signature in org.tweetyproject.logics.commons.syntax.interfaces
Methods in org.tweetyproject.logics.commons.syntax.interfaces that return Signature Modifier and Type Method Description Signature
LogicProgram. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.dl.syntax
Classes in org.tweetyproject.logics.dl.syntax that implement Signature Modifier and Type Class Description class
DlSignature
This class models a description logic signature.Methods in org.tweetyproject.logics.dl.syntax that return Signature Modifier and Type Method Description Signature
AssociativeDlFormula. createEmptySignature()
Signature
DlBeliefSet. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.fol.syntax
Classes in org.tweetyproject.logics.fol.syntax that implement Signature Modifier and Type Class Description class
FolSignature
This class captures the signature of a specific first-order language.Methods in org.tweetyproject.logics.fol.syntax that return Signature Modifier and Type Method Description Signature
AssociativeFolFormula. createEmptySignature()
-
Uses of Signature in org.tweetyproject.logics.ml.syntax
Methods in org.tweetyproject.logics.ml.syntax that return Signature Modifier and Type Method Description Signature
MlBeliefSet. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.mln.syntax
Methods in org.tweetyproject.logics.mln.syntax that return Signature Modifier and Type Method Description Signature
MarkovLogicNetwork. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.pcl.semantics
Methods in org.tweetyproject.logics.pcl.semantics that return Signature Modifier and Type Method Description Signature
ProbabilityDistribution. getSignature()
Returns the signature of the underlying language.Methods in org.tweetyproject.logics.pcl.semantics with parameters of type Signature Modifier and Type Method Description static <S extends Interpretation<PlBeliefSet,PlFormula>>
ProbabilityDistribution<S>ProbabilityDistribution. getUniformDistribution(java.util.Set<S> interpretations, Signature sig)
Returns the uniform distribution on the given interpretations.Constructors in org.tweetyproject.logics.pcl.semantics with parameters of type Signature Constructor Description ProbabilityDistribution(Signature signature)
Creates a new probability distribution. -
Uses of Signature in org.tweetyproject.logics.pcl.syntax
Methods in org.tweetyproject.logics.pcl.syntax that return Signature Modifier and Type Method Description Signature
PclBeliefSet. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.pl.semantics
Methods in org.tweetyproject.logics.pl.semantics with parameters of type Signature Modifier and Type Method Description InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>
PossibleWorldIterator. reset(Signature sig)
-
Uses of Signature in org.tweetyproject.logics.pl.syntax
Classes in org.tweetyproject.logics.pl.syntax that implement Signature Modifier and Type Class Description class
PlSignature
This class captures the signature of a specific propositional language.Methods in org.tweetyproject.logics.pl.syntax that return Signature Modifier and Type Method Description Signature
AssociativePlFormula. createEmptySignature()
-
Uses of Signature in org.tweetyproject.logics.pl.util
Constructors in org.tweetyproject.logics.pl.util with parameters of type Signature Constructor Description CnfSampler(Signature signature, double maxVariableRatio)
Creates a new sampler for the given signature.CnfSampler(Signature signature, double maxVariableRatio, int minLength, int maxLength)
Creates a new sampler for the given signature.RandomSampler(Signature signature, double worldProb)
Creates a new sampler for the given signatureRandomSampler(Signature signature, double worldProb, int minLength, int maxLength)
Creates a new sampler for the given signatureRandomSatSampler(Signature signature, int k)
Constructs a new samplerRandomSatSampler(Signature signature, int k, int minLength, int maxLength)
Constructs a new samplerSyntacticRandomSampler(Signature signature, Probability probneg, Probability probconj, Probability probdisj, double recDecrease)
Creates a new sampler.SyntacticRandomSampler(Signature signature, Probability probneg, Probability probconj, Probability probdisj, double recDecrease, int minLength, int maxLength)
Creates a new sampler. -
Uses of Signature in org.tweetyproject.logics.rcl.syntax
Methods in org.tweetyproject.logics.rcl.syntax that return Signature Modifier and Type Method Description Signature
RclBeliefSet. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return Signature Modifier and Type Method Description Signature
DefaultTheory. getMinimalSignature()
-
Uses of Signature in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics that return Signature Modifier and Type Method Description Signature
RpclProbabilityDistribution. getSignature()
Returns the signature of the underlying language. -
Uses of Signature in org.tweetyproject.logics.rpcl.syntax
Methods in org.tweetyproject.logics.rpcl.syntax that return Signature Modifier and Type Method Description Signature
RpclBeliefSet. getMinimalSignature()
-