Uses of Class
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

Subclasses of Signature in net.sf.tweety.commons

Modifier and Type	Class and Description
class	SetSignature<T> This class models a signature as a set of formulas.

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

Modifier and Type	Method and Description
Signature	BeliefBase.getSignature() Returns the signature of the language of this knowledge base.
Signature	FormulaSampler.getSignature() Returns the signature of this sampler.
abstract Signature	BeliefSet.getSignature()
Signature	BeliefBaseSampler.getSignature() Returns the signature of this sampler.
Signature	Formula.getSignature() Returns the signature of the language of this formula.
Signature	Language.getSignature() Returns the signature of this language.

Methods in net.sf.tweety.commons with parameters of type Signature

Modifier and Type	Method and Description
abstract void	Signature.addSignature(Signature other) Adds the elements of the given signature to this signature.
void	SetSignature.addSignature(Signature other)
abstract boolean	Signature.isOverlappingSignature(Signature other) Checks whether this signature has common elements with the given signature, i.e.
boolean	SetSignature.isOverlappingSignature(Signature other)
abstract boolean	Signature.isSubSignature(Signature other) Checks whether this signature is a sub-signature of the given signature, i.e.
boolean	SetSignature.isSubSignature(Signature other)
InterpretationIterator<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 and Description
BeliefBaseSampler(Signature signature) Creates a new belief base sampler for the given signature.
FormulaSampler(Signature signature) Creates a new formula sampler for the given signature.
Language(Signature signature) Creates a new language on 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 and Description
Signature	Rule.getSignature()