Uses of Class
org.tweetyproject.logics.pl.syntax.Disjunction
Package
Description
-
Uses of Disjunction in org.tweetyproject.logics.pl.parser
-
Uses of Disjunction in org.tweetyproject.logics.pl.syntax
Modifier and TypeMethodDescriptionPlFormula.combineWithOr(Disjunctable f)
Disjunction.createEmptyFormula()
-
Uses of Disjunction in org.tweetyproject.logics.pl.util
Modifier and TypeMethodDescriptionRandomSatSampler.randomClause()
Generates a random clause with k literals. -
Uses of Disjunction in org.tweetyproject.logics.translators.folprop
Modifier and TypeMethodDescriptionFOLPropTranslator.toPropositional(Disjunction disjunction)
Translates the given FOL Disjunction to a propositional DisjunctionModifier and TypeMethodDescriptionFOLPropTranslator.toFOL(Disjunction disjunction)
Translates the given propositional Disjunction to a FOL Disjunction