Uses of Interface
org.tweetyproject.commons.Signature

Packages that use Signature

Package	Description
org.tweetyproject.action.description.syntax
org.tweetyproject.action.query.syntax
org.tweetyproject.action.signature
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.lp.syntax
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.saf.util
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.beliefdynamics.mas
org.tweetyproject.commons
org.tweetyproject.commons.util.rules
org.tweetyproject.logics.bpm.syntax
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.petri.syntax.reachability_graph
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfrevision

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, which consists 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()	Retrieves the signature of this argument set.
Signature	BinaryAttack.getSignature()
Signature	BinarySupport.getSignature()
Signature	EAttack.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()	Retrieves the minimal signature of the knowledge base.
Signature	SimplePlRule.getSignature()	Retrieves the signature of the rule, which includes the signature of both the premises and the conclusion.

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

Methods in org.tweetyproject.arg.extended.syntax that return Signature

Modifier and Type	Method	Description
Signature	ExtendedTheory.getMinimalSignature()
Signature	RecursiveExtendedTheory.getMinimalSignature()
Signature	ExtendedAttack.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

Modifier	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.arg.setaf.syntax

Classes in org.tweetyproject.arg.setaf.syntax that implement Signature

Modifier and Type	Class	Description
class	SetAfSignature	This class captures the signature of a SetAf theory, i.e.

Methods in org.tweetyproject.arg.setaf.syntax that return Signature

Modifier and Type	Method	Description
Signature	SetAf.getMinimalSignature()
Signature	SetAttack.getSignature()

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()	clones signature
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

Modifier	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	The BpmnSignature class

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

Modifier	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.petri.syntax.reachability_graph

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return Signature

Modifier and Type	Method	Description
Signature	ReachabilityGraph.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

Modifier	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 signature
	RandomSampler(Signature signature, double worldProb, int minLength, int maxLength)	Creates a new sampler for the given signature
	RandomSatSampler(Signature signature, int k)	Constructs a new sampler
	RandomSatSampler(Signature signature, int k, int minLength, int maxLength)	Constructs a new sampler
	SyntacticRandomSampler(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()

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

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

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Signature sig)

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

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

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Signature sig)