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.logics.el.syntax
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml
net.sf.tweety.logics.ml.analysis
net.sf.tweety.logics.ml.test
net.sf.tweety.logics.rcl
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl
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.semantics
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 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 FolSignature in net.sf.tweety.arg.delp.parser

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

Modifier and Type	Field and Description
private FolSignature	DelpParser.signature

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

Modifier and Type	Method and Description
FolSignature	DelpParser.getSignature()

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

Modifier and Type	Method and 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.logics.el.syntax

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

Modifier and Type	Method and Description
FolSignature	ModalFormula.getSignature()

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 and Description
private FolSignature	FolParser.signature Keeps track of the signature.

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

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

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

Modifier and Type	Method and Description
FOLAtom	FolParserB.atom(FolSignature signature)
void	FolParserB.declar(FolSignature signature)
TypedStructure	FolParserB.endFunctorDeclar(FolSignature signature, java.lang.String sortName)
TypedStructure	FolParserB.endPredicateDeclar(FolSignature signature, java.lang.String name)
FolFormula	FolParserB.formula(FolSignature signature)
Pair<java.lang.Integer,FolFormula>	FolParserB.formulaex(FolSignature signature)
private Functor	FolParserB.getFunctor(java.lang.String name, FolSignature signature)
private Constant	FolParserB.getOrCreateConstant(java.lang.String name, Sort type, FolSignature sig)
private Functor	FolParserB.getOrCreateFunctor(java.lang.String name, java.util.List<Term<?>> args, Sort targetSort, FolSignature signature)
private Predicate	FolParserB.getPredicate(java.lang.String name, FolSignature sig)
private java.util.List<Sort>	FolParserB.getSorts(FolSignature sig, java.util.List<java.lang.String> names)
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.
Term<?>	FolParserB.term(FolSignature signature, Sort type)

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 and 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 and 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 and Description
FolSignature	RelationalFormula.getSignature()

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

Fields in net.sf.tweety.logics.ml declared as FolSignature

Modifier and Type	Field and Description
private FolSignature	AbstractMlnReasoner.signature The signature of the reasoner.

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

Modifier and Type	Method and Description
protected FolSignature	AbstractMlnReasoner.getSignature() Returns the signature used for reasoning.

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

Modifier and Type	Method and Description
private java.io.File	AlchemyMlnReasoner.writeAlchemyMlnFile(MarkovLogicNetwork mln, FolSignature signature, FolFormula formula) Writes the given MLN wrt.

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

Constructor and Description
AbstractMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new reasoner for the given Markov logic network.
AlchemyMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new AlchemyMlnReasoner for the given Markov logic network.
ApproximateNaiveMlnReasoner(BeliefBase beliefBase, FolSignature signature, long maxNumberOfSelectedInterpretations, long maxNumberOfInterpretationsForModel) Creates a new ApproximateNaiveMlnReasoner for the given Markov logic network.
NaiveMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new NaiveMlnReasoner for the given Markov logic network.
SimpleSamplingMlnReasoner(BeliefBase beliefBase, FolSignature signature, double precision, int numOfPositiveTests) Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.

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

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

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

Method parameters in net.sf.tweety.logics.ml.analysis with type arguments of type FolSignature

Modifier and Type	Method and Description
double	DefaultCompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns, Reasoner reasoner, java.util.List<FolSignature> signatures)
double	CompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns, Reasoner reasoner, java.util.List<FolSignature> signatures) Measures the compatibility of the given MLNs wrt.

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

Methods in net.sf.tweety.logics.ml.test that return types with arguments of type FolSignature

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

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

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

Modifier and Type	Field and Description
private FolSignature	RelationalBruteForceCReasoner.signature The signature used for building the c-representation.

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

Constructor and Description
RelationalBruteForceCReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new simple c-representation reasoner for the given knowledge base.
RelationalBruteForceCReasoner(BeliefBase beliefBase, FolSignature signature, boolean simple) Creates a new relational c-representation reasoner for the given knowledge base.

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 and Description
FolSignature	RclParser.getSignature() Returns the signature of this parser.

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 and 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 and Description
RelationalRankingFunction(FolSignature signature) Creates a new ranking function mapping each given interpretation to zero.

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 and Description
FolSignature	DefaultRule.getSignature()

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

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

Modifier and Type	Field and Description
private FolSignature	RpclMeReasoner.signature The signature for this reasoner.

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

Modifier and Type	Method and Description
FolSignature	RpclMeReasoner.getSignature() Returns the signature of this reasoner.

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

Modifier and Type	Method and Description
java.util.Set<java.util.Set<Constant>>	RpclBeliefSet.getEquivalenceClasses(FolSignature signature) Determines the equivalence classes of this belief set wrt.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses) Returns a random distribution on the given signature.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses) Returns the uniform distribution on the given signature.

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

Constructor and Description
CondensedProbabilityDistribution(RpclSemantics semantics, FolSignature signature) Creates a new condensed probability distribution for the given signature.
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature) Creates a new reasoner for the given knowledge base.
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature, int inferenceType) Creates a new reasoner for the given knowledge base.

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 and 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 and Description
private FolSignature	RpclCondensedProbabilityDistributionParser.signature The signature for this parser (if one has been given)

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

Modifier and Type	Method and 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 and 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 and Description
private FolSignature	RpclProbabilityDistributionParser.signature The signature for this parser (if one has been given)

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

Modifier and Type	Method and 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 and Description
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

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 and Description
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
static RpclProbabilityDistribution	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 and Description
RpclProbabilityDistribution(RpclSemantics semantics, FolSignature signature) Creates a new probability distribution for the given signature.

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

Fields in net.sf.tweety.lp.asp.syntax declared as FolSignature

Modifier and Type	Field and Description
private FolSignature	Program.signature The signature of the logic program

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

Modifier and Type	Method and Description
FolSignature	Rule.getSignature()
FolSignature	Program.getSignature()
FolSignature	DLPNot.getSignature()
FolSignature	DLPNeg.getSignature()
FolSignature	DLPHead.getSignature()
FolSignature	DLPElement.getSignature()
FolSignature	DLPAtom.getSignature()
FolSignature	Comparative.getSignature()
FolSignature	Arithmetic.getSignature()
FolSignature	Aggregate.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 and Description
FolSignature	NLPRule.getSignature()
FolSignature	NLPProgram.getSignature()