Uses of Class
org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

Packages that use ExclusiveDisjunction

Package	Description
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.translators.folprop

Uses of ExclusiveDisjunction in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return ExclusiveDisjunction

Modifier and Type	Method	Description
ExclusiveDisjunction	ExclusiveDisjunction.createEmptyFormula()

Uses of ExclusiveDisjunction in org.tweetyproject.logics.translators.folprop

Methods in org.tweetyproject.logics.translators.folprop that return ExclusiveDisjunction

Modifier and Type	Method	Description
ExclusiveDisjunction	FOLPropTranslator.toPropositional(ExclusiveDisjunction xor)	Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction