Uses of Interface
net.sf.tweety.commons.Signature

Packages that use Signature

Package	Description
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.adf.syntax.adf
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.bipolar.syntax
net.sf.tweety.arg.deductive.syntax
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.syntax
net.sf.tweety.arg.lp.syntax
net.sf.tweety.arg.prob.syntax
net.sf.tweety.arg.saf.util
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.commons
net.sf.tweety.commons.util.rules
net.sf.tweety.logics.bpm.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax

Uses of Signature in net.sf.tweety.action.description.syntax

Methods in net.sf.tweety.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 net.sf.tweety.action.query.syntax

Methods in net.sf.tweety.action.query.syntax that return Signature

Modifier and Type	Method	Description
Signature	SActionQuerySet.getMinimalSignature()
Signature	SActionQuery.getSignature()

Uses of Signature in net.sf.tweety.action.signature

Classes in net.sf.tweety.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 and a set of action names.

Uses of Signature in net.sf.tweety.arg.aba.syntax

Methods in net.sf.tweety.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 net.sf.tweety.arg.adf.syntax.adf

Classes in net.sf.tweety.arg.adf.syntax.adf that implement Signature

Modifier and Type	Class	Description
static class	AbstractDialecticalFramework.Signature

Uses of Signature in net.sf.tweety.arg.aspic.syntax

Methods in net.sf.tweety.arg.aspic.syntax that return Signature

Modifier and Type	Method	Description
Signature	AspicArgumentationTheory.getMinimalSignature()
Signature	InferenceRule.getSignature()

Uses of Signature in net.sf.tweety.arg.bipolar.syntax

Methods in net.sf.tweety.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 net.sf.tweety.arg.deductive.syntax

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

Modifier and Type	Method	Description
Signature	SimplePlLogicDeductiveKnowledgebase.getMinimalSignature()
Signature	SimplePlRule.getSignature()

Uses of Signature in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return Signature

Modifier and Type	Method	Description
Signature	DefeasibleLogicProgram.getMinimalSignature()
Signature	DelpArgument.getSignature()	Always null.

Uses of Signature in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax that return Signature

Modifier and Type	Method	Description
Signature	LdoAssociativeFormula.createEmptySignature()

Uses of Signature in net.sf.tweety.arg.dung.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.dung.syntax that return Signature

Modifier and Type	Method	Description
Signature	DungTheory.getMinimalSignature()
Signature	Argument.getSignature()
Signature	Attack.getSignature()

Uses of Signature in net.sf.tweety.arg.lp.syntax

Methods in net.sf.tweety.arg.lp.syntax that return Signature

Modifier and Type	Method	Description
Signature	ArgumentationKnowledgeBase.getMinimalSignature()
Signature	Argument.getSignature()

Uses of Signature in net.sf.tweety.arg.prob.syntax

Methods in net.sf.tweety.arg.prob.syntax that return Signature

Modifier and Type	Method	Description
Signature	PartialProbabilityAssignment.getMinimalSignature()

Uses of Signature in net.sf.tweety.arg.saf.util

Constructors in net.sf.tweety.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 net.sf.tweety.beliefdynamics.mas

Classes in net.sf.tweety.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 net.sf.tweety.beliefdynamics.mas that return Signature

Modifier and Type	Method	Description
Signature	CrMasBeliefSet.getMinimalSignature()
Signature	InformationObject.getSignature()

Uses of Signature in net.sf.tweety.commons

Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.commons.util.rules

Methods in net.sf.tweety.commons.util.rules that return Signature

Modifier and Type	Method	Description
Signature	Rule.getSignature()

Uses of Signature in net.sf.tweety.logics.bpm.syntax

Classes in net.sf.tweety.logics.bpm.syntax that implement Signature

Modifier and Type	Class	Description
class	BpmnSignature

Methods in net.sf.tweety.logics.bpm.syntax that return Signature

Modifier and Type	Method	Description
Signature	BpmnSignature.clone()
Signature	BpmnModel.getMinimalSignature()
Signature	BpmnFormula.getSignature()

Methods in net.sf.tweety.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 net.sf.tweety.logics.cl.syntax

Methods in net.sf.tweety.logics.cl.syntax that return Signature

Modifier and Type	Method	Description
Signature	Conditional.getSignature()

Uses of Signature in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Signature

Modifier and Type	Method	Description
Signature	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptySignature()
Signature	AssociativeFormulaSupport.getSignature()

Uses of Signature in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Signature

Modifier and Type	Method	Description
Signature	LogicProgram.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.dl.syntax

Classes in net.sf.tweety.logics.dl.syntax that implement Signature

Modifier and Type	Class	Description
class	DlSignature	This class models a description logic signature.

Methods in net.sf.tweety.logics.dl.syntax that return Signature

Modifier and Type	Method	Description
Signature	AssociativeDlFormula.createEmptySignature()
Signature	DlBeliefSet.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.fol.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.fol.syntax that return Signature

Modifier and Type	Method	Description
Signature	AssociativeFolFormula.createEmptySignature()

Uses of Signature in net.sf.tweety.logics.ml.syntax

Methods in net.sf.tweety.logics.ml.syntax that return Signature

Modifier and Type	Method	Description
Signature	MlBeliefSet.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.mln.syntax

Methods in net.sf.tweety.logics.mln.syntax that return Signature

Modifier and Type	Method	Description
Signature	MarkovLogicNetwork.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.pcl.semantics

Methods in net.sf.tweety.logics.pcl.semantics that return Signature

Modifier and Type	Method	Description
Signature	ProbabilityDistribution.getSignature()	Returns the signature of the underlying language.

Methods in net.sf.tweety.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 net.sf.tweety.logics.pcl.semantics with parameters of type Signature

Constructor	Description
ProbabilityDistribution(Signature signature)	Creates a new probability distribution.

Uses of Signature in net.sf.tweety.logics.pcl.syntax

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

Modifier and Type	Method	Description
Signature	PclBeliefSet.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.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 net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.pl.syntax that return Signature

Modifier and Type	Method	Description
Signature	AssociativePlFormula.createEmptySignature()

Uses of Signature in net.sf.tweety.logics.pl.util

Constructors in net.sf.tweety.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 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 net.sf.tweety.logics.rcl.syntax

Methods in net.sf.tweety.logics.rcl.syntax that return Signature

Modifier and Type	Method	Description
Signature	RclBeliefSet.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.logics.rdl.syntax that return Signature

Modifier and Type	Method	Description
Signature	DefaultTheory.getMinimalSignature()

Uses of Signature in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax that return Signature

Modifier and Type	Method	Description
Signature	RpclBeliefSet.getMinimalSignature()