Uses of Class
net.sf.tweety.logics.pl.syntax.Disjunction
-
-
-
Uses of Disjunction in net.sf.tweety.arg.adf.reasoner.encodings
Methods in net.sf.tweety.arg.adf.reasoner.encodings that return types with arguments of type Disjunction Modifier and Type Method Description java.util.Collection<Disjunction>
BipolarSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
ConflictFreeInterpretationSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
FixPartialSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
KBipolarSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
LargerInterpretationSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
RefineLargerSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
RefineUnequalSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
default java.util.Collection<Disjunction>
SatEncoding. encode(SatEncodingContext context)
java.util.Collection<Disjunction>
SatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
Constructs a SAT encoding based on the given context and an optional interpretation.java.util.Collection<Disjunction>
TwoValuedModelSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
VerifyAdmissibleSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
-
Uses of Disjunction in net.sf.tweety.arg.adf.sat
Fields in net.sf.tweety.arg.adf.sat with type parameters of type Disjunction Modifier and Type Field Description private java.util.Collection<Disjunction>
SimpleSatSolverState. assume
private java.util.Set<Disjunction>
NativeLingelingSolver.LingelingSolverState. stateCache
Contains the disjunctions which were added after the last sat call and must be added before the next sat call.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)
Updates the state of the corresponding SAT-Solver by adding a clause.boolean
SimpleSatSolverState. add(Disjunction clause)
boolean
NativeLingelingSolver.LingelingSolverState. remove(Disjunction clause)
boolean
SatSolverState. remove(Disjunction clause)
Tries to remove the given clause from the sat instance.boolean
SimpleSatSolverState. 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)
boolean
SimpleSatSolverState. add(java.util.Collection<Disjunction> clauses)
-
Uses of Disjunction in net.sf.tweety.arg.adf.transform
Method parameters in net.sf.tweety.arg.adf.transform with type arguments of type Disjunction Modifier and Type Method Description Proposition
DefinitionalCNFTransform. transformArgument(java.util.function.Consumer<Disjunction> consumer, Argument argument, int polarity)
Proposition
DefinitionalCNFTransform. transformConjunction(java.util.function.Consumer<Disjunction> consumer, java.util.Collection<Proposition> subconditions, int polarity)
Proposition
DefinitionalCNFTransform. transformContradiction(java.util.function.Consumer<Disjunction> consumer, int polarity)
Proposition
DefinitionalCNFTransform. transformDisjunction(java.util.function.Consumer<Disjunction> consumer, java.util.Collection<Proposition> subconditions, int polarity)
Proposition
DefinitionalCNFTransform. transformEquivalence(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)
Proposition
DefinitionalCNFTransform. transformExclusiveDisjunction(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)
Proposition
DefinitionalCNFTransform. transformImplication(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)
Proposition
DefinitionalCNFTransform. transformNegation(java.util.function.Consumer<Disjunction> consumer, Proposition sub, int polarity)
Proposition
DefinitionalCNFTransform. transformTautology(java.util.function.Consumer<Disjunction> consumer, int polarity)
-
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
-