Uses of Class
net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction
-
Packages that use ExclusiveDisjunction Package Description net.sf.tweety.logics.fol.syntax net.sf.tweety.logics.translators.folprop -
-
Uses of ExclusiveDisjunction in net.sf.tweety.logics.fol.syntax
Methods in net.sf.tweety.logics.fol.syntax that return ExclusiveDisjunction Modifier and Type Method Description ExclusiveDisjunction
ExclusiveDisjunction. clone()
ExclusiveDisjunction
ExclusiveDisjunction. createEmptyFormula()
-
Uses of ExclusiveDisjunction in net.sf.tweety.logics.translators.folprop
Methods in net.sf.tweety.logics.translators.folprop with parameters of type ExclusiveDisjunction Modifier and Type Method Description ExclusiveDisjunction
FOLPropTranslator. toPropositional(ExclusiveDisjunction xor)
Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction
-