Package | Description |
---|---|
net.sf.tweety.logics.cl.syntax | |
net.sf.tweety.logics.pl.syntax | |
net.sf.tweety.logics.translators.folprop |
Modifier and Type | Method and Description |
---|---|
Conjunction |
Conditional.combineWithAnd(Conjuctable f) |
Modifier and Type | Method and Description |
---|---|
Conjunction |
Conjunction.clone() |
Conjunction |
PropositionalFormula.combineWithAnd(Conjuctable f) |
Conjunction |
Conjunction.createEmptyFormula() |
Conjunction |
PropositionalFormula.resolveWith(PropositionalFormula other)
Resolves this formula with the given one (both have to be conjunctive
clauses) and returns some resolvent.
|
Conjunction |
Conjunction.toCnf() |
Conjunction |
SpecialFormula.toCnf() |
Conjunction |
Proposition.toCnf() |
Conjunction |
Disjunction.toCnf() |
abstract Conjunction |
PropositionalFormula.toCnf()
This method returns this formula in conjunctive normal form (CNF).
|
Conjunction |
PlBeliefSet.toCnf()
This method returns this belief set in conjunctive normal form (CNF).
|
Conjunction |
Negation.toCnf() |
Modifier and Type | Method and Description |
---|---|
Conjunction |
FOLPropTranslator.toPropositional(Conjunction conjunction)
Translates the given FOL Conjunction to a propositional Conjunction
|
Modifier and Type | Method and Description |
---|---|
Conjunction |
FOLPropTranslator.toFOL(Conjunction conjunction)
Translates the given propositional Conjunction to a FOL Conjunction
|