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.arg.lp.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.fol.writer
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.ml.writer
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

Fields in net.sf.tweety.arg.delp.parser declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	DelpParser.signature

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)
private Constant	DelpParser.createConstant(java.lang.String image, 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()
protected FolSignature	DefeasibleLogicProgram.instantiateSignature()

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

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

Modifier and Type	Method	Description
protected FolSignature	ArgumentationKnowledgeBase.instantiateSignature()

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

Fields in net.sf.tweety.logics.fol.parser declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	FolParser.signature	Keeps track of the signature.
private FolSignature	TPTPParser.signature	Keeps track of the signature.

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

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

Modifier and Type	Method	Description
private java.util.Set<FolAtom>	HerbrandBase.getAllInstantiations(FolSignature sig, Predicate p, java.util.List<Term<?>> arguments)	Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.

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()
protected FolSignature	FolBeliefSet.instantiateSignature()

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

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

Modifier and Type	Method	Description
private java.lang.String	SPASSWriter.printSignature(FolSignature signature)	Prints the symbols declaration for a SPASS input file.

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()
protected FolSignature	MlBeliefSet.instantiateSignature()

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

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

Modifier and Type	Method	Description
private java.lang.String	SPASSWriter.printSignature(FolSignature signature)	Prints the symbols declaration for a SPASS input file.

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.
private java.io.File	SimpleMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature)	Computes the model of the given MLN.
protected double	AbstractMlnReasoner.computeWeight(MarkovLogicNetwork mln, HerbrandInterpretation hInt, FolSignature signature)	Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.
protected abstract double	AbstractMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Performs the actual querying.
double	AlchemyMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double	ApproximateNaiveMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double	IteratingMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double	SimpleMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double	SimpleSamplingMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected int	AbstractMlnReasoner.numberOfGroundSatisfactions(FolFormula formula, HerbrandInterpretation hInt, FolSignature signature)	Computes the number of instantiations of the formula, wrt.
private HerbrandInterpretation	SimpleMlnReasoner.parseInterpretation(java.lang.String str, FolSignature signature)	Constructs a Herbrand interpretation from the given string
java.lang.Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Queries the given MLN wrt.
private java.io.File	AlchemyMlnReasoner.writeAlchemyMlnFile(MarkovLogicNetwork mln, FolSignature signature, FolFormula formula)	Writes 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()
protected FolSignature	MarkovLogicNetwork.instantiateSignature()

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
private RelationalRankingFunction	SimpleRelationalCReasoner.constructRankingFunction(java.lang.Integer[] kappa, java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional, FolSignature signature)	Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
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

Fields in net.sf.tweety.logics.rcl.semantics declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	RelationalRankingFunction.signature	The signature of the language this ranking function is defined on.

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()
protected FolSignature	RclBeliefSet.instantiateSignature()

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

Fields in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	RpclCondensedProbabilityDistributionParser.signature

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

Fields in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	RpclProbabilityDistributionParser.signature

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

Fields in net.sf.tweety.logics.rpcl.semantics declared as FolSignature

Modifier and Type	Field	Description
private FolSignature	RpclProbabilityDistribution.signature	The used FOL signature

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 that return FolSignature

Modifier and Type	Method	Description
protected FolSignature	RpclBeliefSet.instantiateSignature()

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