Uses of Class
net.sf.tweety.logics.pl.syntax.Disjunction
-
-
Uses of Disjunction in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner with type parameters of type Disjunction Modifier and Type Field Description private java.util.Collection<Disjunction>
SatEncoding. argsTrueXorFalse
This formula ensures that the propositions s_t and s_f for an argument s cannot both be true at the same time.Methods in net.sf.tweety.arg.adf.reasoner that return Disjunction Modifier and Type Method Description Disjunction
SatEncoding. refineLarger(Interpretation interpretation)
Disjunction
SatEncoding. refineUnequal(Interpretation interpretation)
TODO Define functionalityMethods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type Disjunction Modifier and Type Method Description java.util.Collection<Disjunction>
SatEncoding. bipolar()
java.util.Collection<Disjunction>
SatEncoding. conflictFreeInterpretation()
java.util.Collection<Disjunction>
SatEncoding. kBipolar(Interpretation interpretation)
java.util.Collection<Disjunction>
SatEncoding. largerInterpretation(Interpretation interpretation)
TODO define functionalityjava.util.Collection<Disjunction>
SatEncoding. verifyAdmissible(Interpretation interpretation)
Method parameters in net.sf.tweety.arg.adf.reasoner with type arguments of type Disjunction Modifier and Type Method Description private Interpretation
NaiveInterpretationReasoner. existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)
-
Uses of Disjunction in net.sf.tweety.arg.adf.sat
Methods in net.sf.tweety.arg.adf.sat with parameters of type Disjunction Modifier and Type Method Description boolean
NativeLingelingSolver.LingelingSolverState. add(Disjunction clause)
boolean
SatSolverState. add(Disjunction clause)
boolean
NativeLingelingSolver.LingelingSolverState. remove(Disjunction clause)
boolean
SatSolverState. remove(Disjunction clause)
Method parameters in net.sf.tweety.arg.adf.sat with type arguments of type Disjunction Modifier and Type Method Description boolean
NativeLingelingSolver.LingelingSolverState. add(java.util.Collection<Disjunction> clauses)
boolean
SatSolverState. add(java.util.Collection<Disjunction> clauses)
-
Uses of Disjunction in net.sf.tweety.arg.adf.util
Methods in net.sf.tweety.arg.adf.util that return types with arguments of type Disjunction Modifier and Type Method Description static java.util.stream.Collector<PlFormula,?,Disjunction>
PlCollectors. toDisjunction()
static <T> java.util.stream.Collector<T,?,Disjunction>
PlCollectors. toDisjunction(java.util.function.Function<T,? extends PlFormula>[] functions)
static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Disjunction>
PlCollectors. toDisjunctionOfConjunctions()
static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Disjunction>
PlCollectors. toDisjunctionOfConjunctivePairs()
static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Disjunction>
PlCollectors. toDisjunctionOfConjunctiveTriples()
-
Uses of Disjunction in net.sf.tweety.logics.pl.parser
Methods in net.sf.tweety.logics.pl.parser that return Disjunction Modifier and Type Method Description Disjunction
DimacsParser. parseFormula(java.io.Reader reader)
-
Uses of Disjunction in net.sf.tweety.logics.pl.syntax
Methods in net.sf.tweety.logics.pl.syntax that return Disjunction Modifier and Type Method Description Disjunction
PlFormula. combineWithOr(Disjunctable f)
Disjunction
Disjunction. createEmptyFormula()
-
Uses of Disjunction in net.sf.tweety.logics.pl.util
Methods in net.sf.tweety.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 net.sf.tweety.logics.translators.folprop
Methods in net.sf.tweety.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 net.sf.tweety.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
-