Uses of Class
net.sf.tweety.logics.fol.syntax.FolSignature

Packages that use FolSignature

Package	Description
net.sf.tweety.action.signature
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.analysis
net.sf.tweety.logics.mln.examples
net.sf.tweety.logics.mln.reasoner
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.reasoner
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.parser
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.reasoner
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

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

Subclasses of FolSignature in net.sf.tweety.action.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 FolSignature in net.sf.tweety.arg.delp.parser

Methods in net.sf.tweety.arg.delp.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	DelpParser.getSignature()

Methods in net.sf.tweety.arg.delp.parser with parameters of type FolSignature

Modifier and Type	Method	Description
FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)
void	DelpParser.Expression(DefeasibleLogicProgram delp, FolSignature signature)
FolFormula	DelpParser.Formula(FolSignature signature)
FolFormula	DelpParser.Literal(DefeasibleLogicProgram delp, FolSignature signature)
Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)
DefeasibleLogicProgram	DelpParser.Theory(FolSignature signature)

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

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

Modifier and Type	Method	Description
FolSignature	DelpRule.getSignature()

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

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

Modifier and Type	Method	Description
FolSignature	DlSignature.getCorrespondingFolSignature()	Translates this DlSignature to a FolSignature, i.e.

Uses of FolSignature in net.sf.tweety.logics.fol.parser

Methods in net.sf.tweety.logics.fol.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	FolParser.getSignature()	Returns the signature of this parser.
FolSignature	TPTPParser.getSignature()	Returns the signature of this parser.
FolSignature	FolParser.parseSignature(java.lang.String s)	This function parses only the sorts declaration and type declaration parts of a belief base.

Methods in net.sf.tweety.logics.fol.parser with parameters of type FolSignature

Modifier and Type	Method	Description
void	FolParser.parseSortDeclaration(java.lang.String s, FolSignature sig)	Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
void	FolParser.parseTypeDeclaration(java.lang.String s, FolSignature sig)	Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" and modifies the given signature accordingly.
void	FolParser.setSignature(FolSignature signature)	Sets the signature for this parser.
void	TPTPParser.setSignature(FolSignature signature)	Sets the signature for this parser.

Uses of FolSignature in net.sf.tweety.logics.fol.semantics

Constructors in net.sf.tweety.logics.fol.semantics with parameters of type FolSignature

Constructor	Description
HerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

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

Methods in net.sf.tweety.logics.fol.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	FolSignature.clone()
FolSignature	FolBeliefSet.getMinimalSignature()
FolSignature	FolFormula.getSignature()

Uses of FolSignature in net.sf.tweety.logics.ml.parser

Methods in net.sf.tweety.logics.ml.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	MlParser.getSignature()	Returns the signature of this parser.

Methods in net.sf.tweety.logics.ml.parser with parameters of type FolSignature

Modifier and Type	Method	Description
void	MlParser.setSignature(FolSignature signature)	Sets the signature for this parser.

Uses of FolSignature in net.sf.tweety.logics.ml.semantics

Constructors in net.sf.tweety.logics.ml.semantics with parameters of type FolSignature

Constructor	Description
MlHerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

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

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

Modifier and Type	Method	Description
FolSignature	MlFormula.getSignature()

Uses of FolSignature in net.sf.tweety.logics.mln.analysis

Methods in net.sf.tweety.logics.mln.analysis with parameters of type FolSignature

Modifier and Type	Method	Description
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)	Measures the coherence of the given MLN using the given reasoner.
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)

Uses of FolSignature in net.sf.tweety.logics.mln.examples

Methods in net.sf.tweety.logics.mln.examples that return types with arguments of type FolSignature

Modifier and Type	Method	Description
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.CommonColdExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int domain_size)

Uses of FolSignature in net.sf.tweety.logics.mln.reasoner

Methods in net.sf.tweety.logics.mln.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
java.util.Map<HerbrandInterpretation,java.lang.Double>	ApproximateNaiveMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature)	Computes the model of the given MLN wrt.
double	AlchemyMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double	SimpleMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
java.lang.Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Queries the given MLN wrt.

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

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

Modifier and Type	Method	Description
FolSignature	MlnFormula.getSignature()

Uses of FolSignature in net.sf.tweety.logics.rcl.parser

Methods in net.sf.tweety.logics.rcl.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	RclParser.getSignature()	Returns the signature of this parser.

Uses of FolSignature in net.sf.tweety.logics.rcl.reasoner

Methods in net.sf.tweety.logics.rcl.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
RelationalRankingFunction	SimpleRelationalCReasoner.getModel(RclBeliefSet bs, FolSignature signature)	Retrieves the C representation of the given belief set wrt.
java.lang.Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query, FolSignature signature)	Queries the given belief set wrt.

Uses of FolSignature in net.sf.tweety.logics.rcl.semantics

Constructors in net.sf.tweety.logics.rcl.semantics with parameters of type FolSignature

Constructor	Description
RelationalRankingFunction(FolSignature signature)	Creates a new ranking function mapping each given interpretation to zero.

Uses of FolSignature in net.sf.tweety.logics.rcl.syntax

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

Modifier and Type	Method	Description
FolSignature	RelationalConditional.getSignature()

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

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

Modifier and Type	Method	Description
FolSignature	DefaultRule.getSignature()

Uses of FolSignature in net.sf.tweety.logics.rpcl.parser

Methods in net.sf.tweety.logics.rpcl.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	RpclParser.getSignature()	Returns the signature of this parser.

Uses of FolSignature in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignature

Modifier and Type	Method	Description
static java.util.Set<Constant>	RpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature)
static CondensedProbabilityDistribution	RpclCondensedProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)
static InstanceAssignment	RpclCondensedProbabilityDistributionParser.InstanceAssignment(FolSignature signature)
static ReferenceWorld	RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)
static Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
void	RpclCondensedProbabilityDistributionParser.setSignature(FolSignature signature)

Constructors in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignature

Constructor	Description
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

Uses of FolSignature in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser with parameters of type FolSignature

Modifier and Type	Method	Description
static RpclProbabilityDistribution	RpclProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)
static FolAtom	RpclProbabilityDistributionParser.GroundAtom(FolSignature signature)
static Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
void	RpclProbabilityDistributionParser.setSignature(FolSignature signature)

Constructors in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser with parameters of type FolSignature

Constructor	Description
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

Uses of FolSignature in net.sf.tweety.logics.rpcl.reasoner

Methods in net.sf.tweety.logics.rpcl.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet kb, FolSignature signature)	Determines the ME distribution of the given knowlege base wrt.
java.lang.Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature)	Queries the knowledge base wrt.

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

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type FolSignature

Modifier and Type	Method	Description
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses)	Returns a random distribution on the given signature.
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses)	Returns the uniform distribution on the given signature.
static RpclProbabilityDistribution<HerbrandInterpretation>	RpclProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature)	Returns the uniform distribution on the given signature.

Constructors in net.sf.tweety.logics.rpcl.semantics with parameters of type FolSignature

Constructor	Description
CondensedProbabilityDistribution(RpclSemantics semantics, FolSignature signature)	Creates a new condensed probability distribution for the given signature.
RpclProbabilityDistribution(RpclSemantics semantics, FolSignature signature)	Creates a new probability distribution for the given signature.

Uses of FolSignature in net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax with parameters of type FolSignature

Modifier and Type	Method	Description
java.util.Set<java.util.Set<Constant>>	RpclBeliefSet.getEquivalenceClasses(FolSignature signature)	Determines the equivalence classes of this belief set wrt.

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

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

Modifier and Type	Method	Description
FolSignature	ASPHead.createEmptySignature()
FolSignature	Program.getMinimalSignature()
FolSignature	AggregateAtom.getSignature()
FolSignature	AggregateElement.getSignature()
FolSignature	ASPAtom.getSignature()
abstract FolSignature	ASPElement.getSignature()
FolSignature	ASPHead.getSignature()
FolSignature	ASPRule.getSignature()
FolSignature	ComparativeAtom.getSignature()
FolSignature	DefaultNegation.getSignature()
FolSignature	StrictNegation.getSignature()

Uses of FolSignature in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	NLPProgram.getMinimalSignature()
FolSignature	NLPRule.getSignature()