Package | Description |
---|---|
net.sf.tweety.logics.pl.parser | |
net.sf.tweety.logics.pl.syntax | |
net.sf.tweety.logics.pl.util | |
net.sf.tweety.logics.translators.folprop |
Modifier and Type | Method and Description |
---|---|
Disjunction |
DimacsParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
Disjunction |
PropositionalFormula.combineWithOr(Disjunctable f) |
Disjunction |
Disjunction.createEmptyFormula() |
Modifier and Type | Method and Description |
---|---|
Disjunction |
RandomSatSampler.randomClause()
Generates a random clause with k literals.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
FOLPropTranslator.toPropositional(Disjunction disjunction)
Translates the given FOL Disjunction to a propositional Disjunction
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
FOLPropTranslator.toFOL(Disjunction disjuntion)
Translates the given propositional Disjunction to a FOL Disjunction
|