Package | Description |
---|---|
org.cornutum.tcases.conditions | |
org.cornutum.tcases.generator |
Modifier and Type | Interface and Description |
---|---|
interface |
IAssertion
A
condition that asserts a condition on a single property. |
interface |
IDisjunct
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Modifier and Type | Class and Description |
---|---|
class |
AbstractAssertion
Base class for
assertions . |
class |
Assert
An
assertion that asserts the existence of a single property. |
class |
AssertLess
An
assertion that the number of instances of a property is less than a specified maximum. |
class |
AssertMore
An
assertion that the number of instances of a property exceeds a specified minimum. |
class |
AssertNot
An
assertion that asserts the non-existence of a single property. |
class |
AssertNotLess
An
assertion that the number of instances of a property is not less than a specified minimum. |
class |
AssertNotMore
An
assertion that the number of instances of a property does not exceed a specified maximum. |
class |
BoundedAssertion
Base class for
assertions of a limit on the number of instances of a property |
class |
Conjunction
A
condition in conjunctive normal form. |
class |
Disjunction
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Modifier and Type | Method and Description |
---|---|
static IConjunct |
Cnf.convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
IConjunct |
Cnf.Converter.convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
static IConjunct |
Cnf.either(IConjunct conjunct1,
IConjunct conjunct2)
Returns the logical OR of the given CNF conditions.
|
static IConjunct |
Cnf.getUnsatisfied(IConjunct condition,
PropertySet properties)
Returns the part of the given condition unsatisfied by the given properties.
|
static IConjunct |
Cnf.negate(IConjunct conjunct)
Returns the negation of the given CNF condition.
|
static IConjunct |
Cnf.refactor(IConjunct conjunct)
Return refactored conjunction formed by removing superfluous terms.
|
static IConjunct |
Cnf.remainder(IConjunct conjunct,
IAssertion assertion)
Returns the remainder after removing all terms that contain the given assertion.
|
static IConjunct |
Cnf.simplify(IConjunct conjunct)
Returns the simple form of the given conjunction.
|
Modifier and Type | Method and Description |
---|---|
Conjunction |
Conjunction.append(IConjunct conjunct)
Appends another conjunction to this conjunction.
|
static IConjunct |
Cnf.either(IConjunct conjunct1,
IConjunct conjunct2)
Returns the logical OR of the given CNF conditions.
|
static IConjunct |
Cnf.getUnsatisfied(IConjunct condition,
PropertySet properties)
Returns the part of the given condition unsatisfied by the given properties.
|
static IConjunct |
Cnf.negate(IConjunct conjunct)
Returns the negation of the given CNF condition.
|
static IConjunct |
Cnf.refactor(IConjunct conjunct)
Return refactored conjunction formed by removing superfluous terms.
|
static IConjunct |
Cnf.remainder(IConjunct conjunct,
IAssertion assertion)
Returns the remainder after removing all terms that contain the given assertion.
|
static boolean |
Cnf.satisfiesSome(IConjunct condition,
PropertySet properties)
Returns true if the given properties partially satisfy the given condition.
|
static IConjunct |
Cnf.simplify(IConjunct conjunct)
Returns the simple form of the given conjunction.
|
void |
IConditionVisitor.visit(IConjunct condition) |
void |
Cnf.Converter.visit(IConjunct condition) |
Modifier and Type | Method and Description |
---|---|
IConjunct |
TestCaseDef.getRequired()
Returns the conditions of current bindings not yet satisfied.
|
Copyright © 2024 The Cornutum Project. All rights reserved.