public abstract class Cnf extends Object
Modifier and Type | Class and Description |
---|---|
static class |
Cnf.Converter
Converts a
condition into conjunctive normal form. |
Constructor and Description |
---|
Cnf() |
Modifier and Type | Method and Description |
---|---|
static IConjunct |
convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
static IConjunct |
either(IConjunct conjunct1,
IConjunct conjunct2)
Returns the logical OR of the given CNF conditions.
|
static IConjunct |
getUnsatisfied(IConjunct condition,
PropertySet properties)
Returns the part of the given condition unsatisfied by the given properties.
|
static boolean |
isTautology(IDisjunct disjunct)
Returns true if the given disjunction is universally true.
|
static IConjunct |
negate(IConjunct conjunct)
Returns the negation of the given CNF condition.
|
static IConjunct |
refactor(IConjunct conjunct)
Return refactored conjunction formed by removing superfluous terms.
|
static IConjunct |
remainder(IConjunct conjunct,
IAssertion assertion)
Returns the remainder after removing all terms that contain the given assertion.
|
static boolean |
satisfiesSome(IConjunct condition,
PropertySet properties)
Returns true if the given properties partially satisfy the given condition.
|
static IConjunct |
simplify(IConjunct conjunct)
Returns the simple form of the given conjunction.
|
static IDisjunct |
simplify(IDisjunct disjunct)
Returns the simple form of the given disjunction.
|
static IAssertion |
toAssertion(IDisjunct disjunct)
If the given disjunction consists of a single assertion, returns the
equivalent assertion.
|
public static IConjunct negate(IConjunct conjunct)
public static IConjunct either(IConjunct conjunct1, IConjunct conjunct2)
public static IConjunct refactor(IConjunct conjunct)
public static IConjunct remainder(IConjunct conjunct, IAssertion assertion)
public static IAssertion toAssertion(IDisjunct disjunct)
public static IConjunct simplify(IConjunct conjunct)
public static IDisjunct simplify(IDisjunct disjunct)
public static boolean isTautology(IDisjunct disjunct)
public static IConjunct convert(ICondition condition)
public static boolean satisfiesSome(IConjunct condition, PropertySet properties)
public static IConjunct getUnsatisfied(IConjunct condition, PropertySet properties)
Copyright © 2024 The Cornutum Project. All rights reserved.