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 ExclusiveDisjunctionExclusiveDisjunction. clone()ExclusiveDisjunctionExclusiveDisjunction. 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 ExclusiveDisjunctionFOLPropTranslator. toPropositional(ExclusiveDisjunction xor)Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction
-