Uses of Class
org.tweetyproject.logics.pl.syntax.Disjunction
-
Packages that use Disjunction Package Description org.tweetyproject.logics.pl.parser org.tweetyproject.logics.pl.syntax org.tweetyproject.logics.pl.util org.tweetyproject.logics.translators.folprop -
-
Uses of Disjunction in org.tweetyproject.logics.pl.parser
Methods in org.tweetyproject.logics.pl.parser that return Disjunction Modifier and Type Method Description Disjunction
DimacsParser. parseFormula(java.io.Reader reader)
-
Uses of Disjunction in org.tweetyproject.logics.pl.syntax
Methods in org.tweetyproject.logics.pl.syntax that return Disjunction Modifier and Type Method Description Disjunction
PlFormula. combineWithOr(Disjunctable f)
Disjunction
Disjunction. createEmptyFormula()
-
Uses of Disjunction in org.tweetyproject.logics.pl.util
Methods in org.tweetyproject.logics.pl.util that return Disjunction Modifier and Type Method Description Disjunction
RandomSatSampler. randomClause()
Generates a random clause with k literals. -
Uses of Disjunction in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.logics.translators.folprop that return Disjunction Modifier and Type Method Description Disjunction
FOLPropTranslator. toPropositional(Disjunction disjunction)
Translates the given FOL Disjunction to a propositional DisjunctionMethods in org.tweetyproject.logics.translators.folprop with parameters of type Disjunction Modifier and Type Method Description Disjunction
FOLPropTranslator. toFOL(Disjunction disjunction)
Translates the given propositional Disjunction to a FOL Disjunction
-