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