Uses of Class
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.aspic.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.gui
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.commons
net.sf.tweety.commons.util.rules
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
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.util

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 and Description
Signature	CActionDescription.getSignature()
abstract Signature	CLaw.getSignature()
Signature	StaticLaw.getSignature()
Signature	DynamicLaw.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 and Description
Signature	SActionQuerySet.getSignature()
Signature	SActionQuery.getSignature()

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

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

Modifier and Type	Class and 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 and Description
Signature	InferenceRule.getSignature()
Signature	Assumption.getSignature()
Signature	ABATheory.getSignature()
Signature	Negation.getSignature()

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 and Description
Signature	InferenceRule.getSignature()
Signature	AspicArgumentationTheory.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 and Description
Signature	SimplePlLogicDeductiveKnowledgebase.getSignature()
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 and Description
Signature	DefeasibleLogicProgram.getSignature()
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 and Description
Signature	LdoAssociativeFormula.createEmptySignature()

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

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

Modifier and Type	Class and 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 and Description
Signature	DungTheory.getSignature()
Signature	Attack.getSignature()
Signature	Argument.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 and Description
Signature	ArgumentationKnowledgeBase.getSignature()
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 and Description
Signature	PartialProbabilityAssignment.getSignature()

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

Constructors in net.sf.tweety.arg.saf.util with parameters of type Signature

Constructor and 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.gui

Methods in net.sf.tweety.beliefdynamics.gui that return Signature

Modifier and Type	Method and Description
Signature	RevisionComparePresenter.MockFormula.getSignature()

Uses of Signature in net.sf.tweety.beliefdynamics.mas

Methods in net.sf.tweety.beliefdynamics.mas that return Signature

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

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.

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

Modifier and Type	Field and Description
private Signature	FormulaSampler.signature The signature of this sampler.
private Signature	BeliefSetSampler.signature The signature of this sampler.

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	BeliefSetSampler.getSignature() Returns the signature of this sampler.
Signature	Formula.getSignature() Returns the signature of the language of this formula.

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<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 and 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 and Description
Signature	Rule.getSignature()

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 and 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 and Description
Signature	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptySignature()
abstract Signature	RelationalFormula.getSignature()
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 and Description
Signature	LogicProgram.getSignature()

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

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

Modifier and Type	Class and 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 and Description
Signature	Axiom.getSignature()

Methods in net.sf.tweety.logics.dl.syntax with parameters of type Signature

Modifier and Type	Method and Description
void	DlSignature.addSignature(Signature other)
boolean	DlSignature.isOverlappingSignature(Signature other)
boolean	DlSignature.isSubSignature(Signature other)

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

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

Modifier and Type	Class and 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 and Description
Signature	AssociativeFOLFormula.createEmptySignature()
Signature	FolBeliefSet.getSignature()

Methods in net.sf.tweety.logics.fol.syntax with parameters of type Signature

Modifier and Type	Method and Description
void	FolSignature.addSignature(Signature other)
boolean	FolSignature.isOverlappingSignature(Signature other)
boolean	FolSignature.isSubSignature(Signature other)

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 and Description
Signature	ModalBeliefSet.getSignature()

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 and Description
Signature	MarkovLogicNetwork.getSignature()

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

Fields in net.sf.tweety.logics.pcl.semantics declared as Signature

Modifier and Type	Field and Description
private Signature	ProbabilityDistribution.signature The signature of the underlying language.

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

Modifier and Type	Method and 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 and Description
static <S extends Interpretation<PlBeliefSet,PropositionalFormula>> 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 and 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 and Description
Signature	PclBeliefSet.getSignature()

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 and Description
InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Signature sig)

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

Subclasses of Signature in net.sf.tweety.logics.pl.syntax

Modifier and Type	Class and Description
class	PropositionalSignature 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 and Description
Signature	AssociativePropositionalFormula.createEmptySignature()
Signature	PlBeliefSet.getSignature()

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

Constructors in net.sf.tweety.logics.pl.util with parameters of type Signature

Constructor and 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 and Description
Signature	RclBeliefSet.getSignature()

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 and Description
Signature	DefaultTheory.getSignature()

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 and 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 and Description
Signature	RpclBeliefSet.getSignature()

Uses of Signature in net.sf.tweety.lp.asp.semantics

Methods in net.sf.tweety.lp.asp.semantics that return Signature

Modifier and Type	Method and Description
Signature	AnswerSet.getSignature()

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

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

Modifier and Type	Method and Description
Signature	DLPHead.createEmptySignature()

Uses of Signature in net.sf.tweety.lp.asp.util

Methods in net.sf.tweety.lp.asp.util that return Signature

Modifier and Type	Method and Description
Signature	AnswerSet.getSignature()