Package | Description |
---|---|
org.cornutum.tcases.conditions |
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 |
Modifier and Type | Method and Description |
---|---|
IAssertion |
IAssertion.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
AssertNotMore.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
AssertNotLess.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
AssertNot.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
AssertMore.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
AssertLess.negate()
Returns an assertion that negates this assertion.
|
IAssertion |
Assert.negate()
Returns an assertion that negates this assertion.
|
static IAssertion |
Cnf.toAssertion(IDisjunct disjunct)
If the given disjunction consists of a single assertion, returns the
equivalent assertion.
|
Modifier and Type | Method and Description |
---|---|
Iterator<IAssertion> |
IDisjunct.getAssertions()
Returns the assertions for this disjunction.
|
Iterator<IAssertion> |
Disjunction.getAssertions()
Returns the assertions in this disjunction.
|
Iterator<IAssertion> |
AbstractAssertion.getAssertions()
Returns the assertions for this disjunction.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
Disjunction.add(IAssertion assertion)
Adds an assertion to this disjunction.
|
boolean |
IDisjunct.contains(IAssertion assertion)
Returns true if the given assertion is a member of this disjunction.
|
boolean |
Disjunction.contains(IAssertion assertion)
Returns true if the given assertion is a member of this disjunction.
|
boolean |
AbstractAssertion.contains(IAssertion assertion)
Returns true if the given assertion is a member of this disjunction.
|
boolean |
IAssertion.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
AssertNotMore.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
AssertNotLess.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
AssertNot.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
AssertMore.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
AssertLess.negates(IAssertion other)
Returns true if this assertion negates the other.
|
boolean |
Assert.negates(IAssertion other)
Returns true if this assertion negates the other.
|
static IConjunct |
Cnf.remainder(IConjunct conjunct,
IAssertion assertion)
Returns the remainder after removing all terms that contain the given assertion.
|
Disjunction |
Disjunction.remove(IAssertion assertion)
Removes an assertion from this disjunction.
|
Constructor and Description |
---|
Disjunction(IAssertion... assertions)
Creates a new Disjunction instance.
|
Copyright © 2024 The Cornutum Project. All rights reserved.