org.gcube.contentmanagement.contentmanager.stubs.model.predicates
Class Num
java.lang.Object
org.gcube.contentmanagement.contentmanager.stubs.model.predicates.LeafPredicate<java.lang.Double,Constraint<? super java.lang.Double>>
org.gcube.contentmanagement.contentmanager.stubs.model.predicates.Num
- All Implemented Interfaces:
- java.io.Serializable, Predicate
public class Num
- extends LeafPredicate<java.lang.Double,Constraint<? super java.lang.Double>>
Asserts that a leaf as a numeric value that satisfies a given constraint.
- Author:
- Fabio Simeoni (University of Strathclyde)
- See Also:
- Serialized Form
Constructor Summary |
Num(Constraint<? super java.lang.Double> vp)
Creates an instance with a given constraint. |
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
Num
public Num(Constraint<? super java.lang.Double> vp)
- Creates an instance with a given constraint.
- Parameters:
c
- the constraint.