Uses of Class
net.sf.tweety.logics.fol.syntax.Disjunction
-
-
-
Uses of Disjunction in net.sf.tweety.arg.delp.syntax
Methods in net.sf.tweety.arg.delp.syntax that return Disjunction Modifier and Type Method Description Disjunction
DelpRule. combineWithOr(Disjunctable f)
-
Uses of Disjunction in net.sf.tweety.logics.cl.syntax
Methods in net.sf.tweety.logics.cl.syntax that return Disjunction Modifier and Type Method Description Disjunction
Conditional. combineWithOr(Disjunctable f)
-
Uses of Disjunction in net.sf.tweety.logics.fol.syntax
Methods in net.sf.tweety.logics.fol.syntax that return Disjunction Modifier and Type Method Description Disjunction
Disjunction. clone()
Disjunction
FolFormula. combineWithOr(Disjunctable f)
Disjunction
Disjunction. createEmptyFormula()
Methods in net.sf.tweety.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 net.sf.tweety.logics.ml.syntax
Methods in net.sf.tweety.logics.ml.syntax that return Disjunction Modifier and Type Method Description Disjunction
MlFormula. combineWithOr(Disjunctable f)
-
Uses of Disjunction in net.sf.tweety.logics.mln.syntax
Methods in net.sf.tweety.logics.mln.syntax that return Disjunction Modifier and Type Method Description Disjunction
MlnFormula. combineWithOr(Disjunctable f)
-
Uses of Disjunction in net.sf.tweety.logics.rcl.syntax
Methods in net.sf.tweety.logics.rcl.syntax that return Disjunction Modifier and Type Method Description Disjunction
RelationalConditional. combineWithOr(Disjunctable f)
-
Uses of Disjunction in net.sf.tweety.logics.rdl.syntax
Methods in net.sf.tweety.logics.rdl.syntax that return Disjunction Modifier and Type Method Description Disjunction
DefaultRule. combineWithOr(Disjunctable formula)
-
Uses of Disjunction in net.sf.tweety.logics.translators.aspfol
Methods in net.sf.tweety.logics.translators.aspfol that return Disjunction Modifier and Type Method Description Disjunction
AspFolTranslator. toFOL(ASPHead source)
Methods in net.sf.tweety.logics.translators.aspfol with parameters of type Disjunction Modifier and Type Method Description ASPHead
AspFolTranslator. toASP(Disjunction source)
-
Uses of Disjunction in net.sf.tweety.logics.translators.folprop
Methods in net.sf.tweety.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 net.sf.tweety.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
-