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

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 and Description
FolSignature	TPTPParser.getSignature() Returns the signature of this parser.
FolSignature	FolParser.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 and 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	TPTPParser.setSignature(FolSignature signature) Sets the signature for this parser.
void	FolParser.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 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	FolFormula.getSignature()