Uses of Class
org.tweetyproject.logics.pl.syntax.Conjunction
-
Packages that use Conjunction Package Description org.tweetyproject.logics.cl.syntax org.tweetyproject.logics.pl.syntax org.tweetyproject.logics.qbf.syntax org.tweetyproject.logics.translators.folprop -
-
Uses of Conjunction in org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return Conjunction Modifier and Type Method Description Conjunction
Conditional. combineWithAnd(Conjunctable f)
-
Uses of Conjunction in org.tweetyproject.logics.pl.syntax
Methods in org.tweetyproject.logics.pl.syntax that return Conjunction Modifier and Type Method Description Conjunction
Conjunction. clone()
Conjunction
PlFormula. combineWithAnd(Conjunctable f)
Conjunction
Conjunction. createEmptyFormula()
static Conjunction
CardinalityConstraint. getNaiveAtMostOneEncoding(java.util.Collection<Proposition> atoms)
Returns a naive at-most-1 encoding for the given set of atoms.Conjunction
PlFormula. resolveWith(PlFormula other)
Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.Conjunction
CardinalityConstraint. toCnf()
Conjunction
Conjunction. toCnf()
Conjunction
Disjunction. toCnf()
Conjunction
Equivalence. toCnf()
Conjunction
ExclusiveDisjunction. toCnf()
Conjunction
Implication. toCnf()
Conjunction
Negation. toCnf()
Conjunction
PlBeliefSet. toCnf()
This method returns this belief set in conjunctive normal form (CNF).abstract Conjunction
PlFormula. toCnf()
This method returns this formula in conjunctive normal form (CNF).Conjunction
Proposition. toCnf()
Conjunction
SpecialFormula. toCnf()
-
Uses of Conjunction in org.tweetyproject.logics.qbf.syntax
Methods in org.tweetyproject.logics.qbf.syntax that return Conjunction Modifier and Type Method Description Conjunction
ExistsQuantifiedFormula. toCnf()
In this case, this method returns this quantified boolean formula's cnf kernel.Conjunction
ForallQuantifiedFormula. toCnf()
In this case, this method returns this quantified boolean formula's cnf kernel. -
Uses of Conjunction in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.logics.translators.folprop that return Conjunction Modifier and Type Method Description Conjunction
FOLPropTranslator. toPropositional(Conjunction conjunction)
Translates the given FOL Conjunction to a propositional ConjunctionMethods in org.tweetyproject.logics.translators.folprop with parameters of type Conjunction Modifier and Type Method Description Conjunction
FOLPropTranslator. toFOL(Conjunction conjunction)
Translates the given propositional Conjunction to a FOL Conjunction
-