public class FOLPropTranslator extends Translator
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
Constructor and Description |
---|
FOLPropTranslator()
Default-Ctor
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> |
createTranslateMap() |
Conjunction |
toFOL(Conjunction conjunction)
Translates the given propositional Conjunction to a FOL Conjunction
|
Disjunction |
toFOL(Disjunction disjuntion)
Translates the given propositional Disjunction to a FOL Disjunction
|
FOLAtom |
toFOL(Proposition proposition)
Translates the given proposition into a FOL-Atom
|
FolFormula |
toFOL(PropositionalFormula propFormula) |
Conjunction |
toPropositional(Conjunction conjunction)
Translates the given FOL Conjunction to a propositional Conjunction
|
Disjunction |
toPropositional(Disjunction disjunction)
Translates the given FOL Disjunction to a propositional Disjunction
|
Proposition |
toPropositional(FOLAtom atom)
Translates the given FOL-Atom into a Proposition
|
PropositionalFormula |
toPropositional(FolFormula folFormula) |
createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule, translateUsingMap
public Proposition toPropositional(FOLAtom atom)
atom
- FOL-Atom, if the given Atom has
arguments an exception is thrown.public FOLAtom toFOL(Proposition proposition)
proposition
- The Propositionpublic Disjunction toFOL(Disjunction disjuntion)
disjuntion
- public Disjunction toPropositional(Disjunction disjunction)
disjunction
- The FOL-Disjunction, if it contains formulas which
are not expressible in propositional logic an exception
is thrown.public Conjunction toFOL(Conjunction conjunction)
conjunction
- public Conjunction toPropositional(Conjunction conjunction)
conjunction
- The FOL-Conjunction, if it contains formulas which
are not expressible in propositional logic an exception
is thrown.public FolFormula toFOL(PropositionalFormula propFormula)
public PropositionalFormula toPropositional(FolFormula folFormula)
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> createTranslateMap()
createTranslateMap
in class Translator