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