public abstract class BoundedAssertion extends AbstractAssertion
assertions
of a limit on the number of instances of a propertyALWAYS
Constructor and Description |
---|
BoundedAssertion()
Creates a new BoundedAssertion object.
|
BoundedAssertion(String property,
int bound)
Creates a new BoundedAssertion object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object object) |
int |
getBound()
Returns the bound on the number of instances of this property.
|
int |
hashCode() |
abstract boolean |
isExclusive()
Returns true is the bound is exclusive.
|
void |
setBound(int bound)
Changes the bound on the number of instances of this property.
|
String |
toString() |
compatible, contains, getAssertionCount, getAssertions, getDisjunctCount, getDisjuncts, getProperty, setProperty
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
completable, negate, negates
accept, satisfied
public BoundedAssertion()
public BoundedAssertion(String property, int bound)
public void setBound(int bound)
public int getBound()
public abstract boolean isExclusive()
public int hashCode()
hashCode
in class AbstractAssertion
public boolean equals(Object object)
equals
in class AbstractAssertion
public String toString()
toString
in class AbstractAssertion
Copyright © 2024 The Cornutum Project. All rights reserved.