Package org.xcsp.common.domains

Class Values.RealInterval

java.lang.Object

org.xcsp.common.domains.Values.RealInterval

Enclosing class:

Values

public static final class Values.RealInterval
extends Object

A class to represent real intervals.

Field Summary

Fields

Modifier and Type	Field	Description
Values.SimpleValue	inf	The bounds of the interval.
boolean	infClosed	The status (open/closed) of the bounds of the interval.
Values.SimpleValue	sup	The bounds of the interval.
boolean	supClosed	The status (open/closed) of the bounds of the interval.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RealInterval(Values.SimpleValue inf, Values.SimpleValue sup, boolean infClosed, boolean supClosed)	Builds a real interval with the specified bounds together with their status.

Method Summary

Modifier and Type	Method	Description
static Values.RealInterval	parse(String s)	Returns a real interval by parsing the specified string.
static Values.RealInterval[]	parseSeq(String seq)	Returns an array of real intervals by parsing the specified string.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

inf

public final Values.SimpleValue inf

The bounds of the interval.

sup

public final Values.SimpleValue sup

The bounds of the interval.

infClosed

public final boolean infClosed

The status (open/closed) of the bounds of the interval.

supClosed

public final boolean supClosed

The status (open/closed) of the bounds of the interval.

Constructor Detail

RealInterval

protected RealInterval(Values.SimpleValue inf,
                       Values.SimpleValue sup,
                       boolean infClosed,
                       boolean supClosed)

Builds a real interval with the specified bounds together with their status.

Method Detail

parse

public static Values.RealInterval parse(String s)

Returns a real interval by parsing the specified string.

parseSeq

public static Values.RealInterval[] parseSeq(String seq)

Returns an array of real intervals by parsing the specified string.

toString

public String toString()

Overrides:

toString in class Object