Uses of Class net.sf.tweety.logics.fol.syntax.FolSignature (Tweety (FOL) 1.17 API)

Packages that use FolSignature
Package Description

net.sf.tweety.logics.fol.parser

net.sf.tweety.logics.fol.semantics

net.sf.tweety.logics.fol.syntax

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(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(String s, FolSignature sig)`	Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
`void`	FolParser.`parseTypeDeclaration(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()`
`protected FolSignature`	FolBeliefSet.`instantiateSignature()`