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