Uses of Package
net.sf.tweety.logics.fol.syntax

Packages that use net.sf.tweety.logics.fol.syntax

Package	Description
net.sf.tweety.action.description
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.action.transitionsystem
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.semantics
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.el.syntax
net.sf.tweety.logics.fol
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.prover
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.fol.writer
net.sf.tweety.logics.ml
net.sf.tweety.logics.ml.analysis
net.sf.tweety.logics.ml.syntax
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.rcl.syntax
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rdl.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.logics.rpcl.syntax
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.logics.translators.folprop
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.description

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.description.parser

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.description.syntax

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.query

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.query.parser

Class and Description
FOLAtom An atom in first-order logic, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.query.syntax

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.signature

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.transitionsystem

Class and Description
FOLAtom An atom in first-order logic, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.aspic.ruleformulagenerator

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.parser

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.semantics

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.syntax

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.cl.syntax

Class and Description
Disjunction The classical disjunction of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.el.syntax

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolSignature This class captures the signature of a specific first-order language.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.parser

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.prover

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.semantics

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.syntax

Class and Description
AssociativeFOLFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
Conjunction The classical conjunction of first-order logic.
Contradiction A contradictory formula.
Disjunction The classical disjunction of first-order logic.
ExistsQuantifiedFormula
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.
ForallQuantifiedFormula For-All quantified formula.
Negation The classical negation of first-order logic.
QuantifiedFormula The common parent of exists and forall quantified formulas, which contains common functionalities.
RelationalFormula This interface models a relational formula, i.e.
SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.
Tautology A tautological formula.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.writer

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.analysis

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.syntax

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.test

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.parser

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.semantics

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.syntax

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl.semantics

Class and Description
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl.syntax

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class and Description
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.semantics

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.syntax

Class and Description
FolFormula The common abstract class for formulas of first-order logic.
RelationalFormula This interface models a relational formula, i.e.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.translators.aspfol

Class and Description
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
Negation The classical negation of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.translators.aspnlp

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.translators.folprop

Class and Description
Conjunction The classical conjunction of first-order logic.
Disjunction The classical disjunction of first-order logic.
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.lp.asp.syntax

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolSignature This class captures the signature of a specific first-order language.

Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.lp.nlp.syntax

Class and Description
FOLAtom An atom in first-order logic, i.e.
FolFormula The common abstract class for formulas of first-order logic.
FolSignature This class captures the signature of a specific first-order language.
RelationalFormula This interface models a relational formula, i.e.