org.btrplace.btrpsl.element

Class BtrpSet

java.lang.Object

org.btrplace.btrpsl.element.DefaultBtrpOperand

org.btrplace.btrpsl.element.BtrpSet

All Implemented Interfaces:

BtrpOperand, Copyable<BtrpOperand>

public class BtrpSet
extends DefaultBtrpOperand

Denotes a set of operand. The set is homogeneous: every operand into the set have the same type and the same degree. The degree of a set is then one greater than the operand into it.

Author:

Fabien Hermenier

Nested Class Summary

Nested classes/interfaces inherited from interface org.btrplace.btrpsl.element.BtrpOperand

BtrpOperand.Type

Constructor Summary

Constructors

Constructor and Description
BtrpSet(int d, BtrpOperand.Type ty) Make a new set with a specific degree and type

Method Summary

Modifier and Type	Method and Description
BtrpSet	copy()
int	degree() Get the degree of the operand.
BtrpSet	div(BtrpOperand nb) Divides this operand by another one.
BtrpNumber	eq(BtrpOperand other) Check if this operand is equals to another one.
boolean	equals(Object o)
List<BtrpOperand>	getValues()
int	hashCode()
BtrpSet	minus(BtrpOperand s) Computes the difference between this operand and another one.
BtrpSet	plus(BtrpOperand s) Computes the addition of this operand with another one.
BtrpSet	power(BtrpOperand nb) Computes the power of this operand.
BtrpSet	remainder(BtrpOperand other) Computes the remainder of this operand division by another one
int	size() Get the number of operand in this set.
BtrpSet	times(BtrpOperand s) Multiply this operand by another one
String	toString()
BtrpOperand.Type	type() Get the type of the operand.

Methods inherited from class org.btrplace.btrpsl.element.DefaultBtrpOperand

geq, gt, label, negate, not, prettyType, prettyType, prettyType, setLabel

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BtrpSet

public BtrpSet(int d,
               BtrpOperand.Type ty)

Make a new set with a specific degree and type

Parameters:

d - the degree of the set

ty - the type of the set

Method Detail

type

public BtrpOperand.Type type()

Description copied from interface: BtrpOperand

Get the type of the operand.

Returns:

a type

plus

public BtrpSet plus(BtrpOperand s)

Description copied from interface: BtrpOperand

Computes the addition of this operand with another one.

Specified by:

plus in interface BtrpOperand

Overrides:

plus in class DefaultBtrpOperand

Parameters:

s - the other operand

Returns:

the result of the addition

minus

public BtrpSet minus(BtrpOperand s)

Description copied from interface: BtrpOperand

Computes the difference between this operand and another one.

Specified by:

minus in interface BtrpOperand

Overrides:

minus in class DefaultBtrpOperand

Parameters:

s - the other operand

Returns:

the result of the difference

size

public int size()

Get the number of operand in this set.

Returns:

a positive integer

degree

public int degree()

Description copied from interface: BtrpOperand

Get the degree of the operand. A degree of 0 indicates a single value. A degree of 1 indicates a set of single value. A degree of 2 indicate a set of set of values. Basically. An operand with a degree n is a set of elements with all having the degree n - 1

Returns:

a positive integer

remainder

public BtrpSet remainder(BtrpOperand other)

Description copied from interface: BtrpOperand

Computes the remainder of this operand division by another one

Specified by:

remainder in interface BtrpOperand

Overrides:

remainder in class DefaultBtrpOperand

Parameters:

other - the other operand

Returns:

the remainder of the division

div

public BtrpSet div(BtrpOperand nb)

Description copied from interface: BtrpOperand

Divides this operand by another one.

Specified by:

div in interface BtrpOperand

Overrides:

div in class DefaultBtrpOperand

Parameters:

nb - the other operand

Returns:

the result of the division

times

public BtrpSet times(BtrpOperand s)

Description copied from interface: BtrpOperand

Multiply this operand by another one

Specified by:

times in interface BtrpOperand

Overrides:

times in class DefaultBtrpOperand

Parameters:

s - the other operand

Returns:

the result of the negation

power

public BtrpSet power(BtrpOperand nb)

Description copied from interface: BtrpOperand

Computes the power of this operand.

Specified by:

power in interface BtrpOperand

Overrides:

power in class DefaultBtrpOperand

Parameters:

nb - the power coefficient. Must be strictly positive

Returns:

the result of the operation

toString

public String toString()

Overrides:

toString in class Object

copy

public BtrpSet copy()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

eq

public BtrpNumber eq(BtrpOperand other)

Description copied from interface: BtrpOperand

Check if this operand is equals to another one.

Specified by:

eq in interface BtrpOperand

Overrides:

eq in class DefaultBtrpOperand

Parameters:

other - the operand to compare to

Returns:

BtrpNumber.TRUE if both operand are equals, BtrpNumber.FALSE otherwise

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getValues

public List<BtrpOperand> getValues()