Uses of Class
org.tweetyproject.logics.fol.syntax.Disjunction
Package
Description
-
Uses of Disjunction in org.tweetyproject.arg.delp.syntax
-
Uses of Disjunction in org.tweetyproject.logics.cl.syntax
-
Uses of Disjunction in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionDisjunction.clone()
FolFormula.combineWithOr
(Disjunctable f) Disjunction.createEmptyFormula()
-
Uses of Disjunction in org.tweetyproject.logics.ml.syntax
-
Uses of Disjunction in org.tweetyproject.logics.mln.syntax
-
Uses of Disjunction in org.tweetyproject.logics.rcl.syntax
-
Uses of Disjunction in org.tweetyproject.logics.rdl.syntax
-
Uses of Disjunction in org.tweetyproject.logics.translators.aspfol
-
Uses of Disjunction in org.tweetyproject.logics.translators.folprop
Modifier and TypeMethodDescriptionFOLPropTranslator.toFOL
(Disjunction disjunction) Translates the given propositional Disjunction to a FOL DisjunctionModifier and TypeMethodDescriptionFOLPropTranslator.toPropositional
(Disjunction disjunction) Translates the given FOL Disjunction to a propositional Disjunction