Uses of Class
org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
-
Packages that use ExclusiveDisjunction Package Description org.tweetyproject.logics.fol.syntax org.tweetyproject.logics.translators.folprop -
-
Uses of ExclusiveDisjunction in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return ExclusiveDisjunction Modifier and Type Method Description ExclusiveDisjunction
ExclusiveDisjunction. clone()
ExclusiveDisjunction
ExclusiveDisjunction. createEmptyFormula()
-
Uses of ExclusiveDisjunction in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.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
-