Uses of Class
org.tweetyproject.logics.fol.syntax.Disjunction
-
-
-
Uses of Disjunction in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return Disjunction Modifier and Type Method Description Disjunction
DelpRule. combineWithOr(Disjunctable f)
-
Uses of Disjunction in org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return Disjunction Modifier and Type Method Description Disjunction
Conditional. combineWithOr(Disjunctable f)
-
Uses of Disjunction in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return Disjunction Modifier and Type Method Description Disjunction
Disjunction. clone()
Disjunction
FolFormula. combineWithOr(Disjunctable f)
Disjunction
Disjunction. createEmptyFormula()
Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Disjunction Modifier and Type Method Description java.util.Set<Disjunction>
SpecialFormula. getDisjunctions()
-
Uses of Disjunction in org.tweetyproject.logics.ml.syntax
Methods in org.tweetyproject.logics.ml.syntax that return Disjunction Modifier and Type Method Description Disjunction
MlFormula. combineWithOr(Disjunctable f)
-
Uses of Disjunction in org.tweetyproject.logics.mln.syntax
Methods in org.tweetyproject.logics.mln.syntax that return Disjunction Modifier and Type Method Description Disjunction
MlnFormula. combineWithOr(Disjunctable f)
-
Uses of Disjunction in org.tweetyproject.logics.rcl.syntax
Methods in org.tweetyproject.logics.rcl.syntax that return Disjunction Modifier and Type Method Description Disjunction
RelationalConditional. combineWithOr(Disjunctable f)
-
Uses of Disjunction in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return Disjunction Modifier and Type Method Description Disjunction
DefaultRule. combineWithOr(Disjunctable formula)
-
Uses of Disjunction in org.tweetyproject.logics.translators.aspfol
Methods in org.tweetyproject.logics.translators.aspfol that return Disjunction Modifier and Type Method Description Disjunction
AspFolTranslator. toFOL(ClassicalHead source)
Methods in org.tweetyproject.logics.translators.aspfol with parameters of type Disjunction Modifier and Type Method Description ClassicalHead
AspFolTranslator. toASP(Disjunction source)
-
Uses of Disjunction in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.logics.translators.folprop that return Disjunction Modifier and Type Method Description Disjunction
FOLPropTranslator. toFOL(Disjunction disjunction)
Translates the given propositional Disjunction to a FOL DisjunctionMethods in org.tweetyproject.logics.translators.folprop with parameters of type Disjunction Modifier and Type Method Description Disjunction
FOLPropTranslator. toPropositional(Disjunction disjunction)
Translates the given FOL Disjunction to a propositional Disjunction
-