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

Packages that use Signature

Package	Description
net.sf.tweety.commons
net.sf.tweety.commons.util.rules

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.

Fields in net.sf.tweety.commons declared as Signature

Modifier and Type	Field	Description
protected S	BeliefSet.signature	The signature of this belief base.

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