Package | Description |
---|---|
org.cornutum.tcases.conditions |
Modifier and Type | Interface and Description |
---|---|
interface |
IAssertion
A
condition that asserts a condition on a single property. |
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 |
Disjunction
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Modifier and Type | Method and Description |
---|---|
static IDisjunct |
Cnf.simplify(IDisjunct disjunct)
Returns the simple form of the given disjunction.
|
Modifier and Type | Method and Description |
---|---|
Iterator<IDisjunct> |
IConjunct.getDisjuncts()
Returns the disjunctions for this conjunction.
|
Iterator<IDisjunct> |
Disjunction.getDisjuncts()
Returns the disjuncts in this conjunction.
|
Iterator<IDisjunct> |
Conjunction.getDisjuncts()
Returns the disjuncts in this conjunction.
|
Iterator<IDisjunct> |
AbstractAssertion.getDisjuncts()
Returns the disjuncts in this conjunction.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
Disjunction.add(IDisjunct disjunct)
Adds all assertions for the given IDisjunct to this disjunction.
|
Conjunction |
Conjunction.add(IDisjunct disjunct)
Adds a disjunct to this conjunction.
|
static boolean |
Cnf.isTautology(IDisjunct disjunct)
Returns true if the given disjunction is universally true.
|
Conjunction |
Conjunction.remove(IDisjunct disjunct)
Removes a disjunct from this conjunction.
|
static IDisjunct |
Cnf.simplify(IDisjunct disjunct)
Returns the simple form of the given disjunction.
|
static IAssertion |
Cnf.toAssertion(IDisjunct disjunct)
If the given disjunction consists of a single assertion, returns the
equivalent assertion.
|
Constructor and Description |
---|
Conjunction(IDisjunct... disjuncts)
Creates a new Conjunction instance.
|
Disjunction(IDisjunct... disjuncts)
Creates a new Disjunction instance.
|
Copyright © 2024 The Cornutum Project. All rights reserved.