org.btrplace.btrpsl.constraint

Class NumberParam

java.lang.Object

org.btrplace.btrpsl.constraint.DefaultConstraintParam<Number>

org.btrplace.btrpsl.constraint.NumberParam

All Implemented Interfaces:

ConstraintParam<Number>

public class NumberParam
extends DefaultConstraintParam<Number>

A parameter for a constraint that denotes a number.

Author:

Fabien Hermenier

Constructor Summary

Constructors

Constructor and Description
NumberParam(String n) Make a new number parameter.

Method Summary

Modifier and Type	Method and Description
boolean	isCompatibleWith(BtrPlaceTree t, BtrpOperand o) Check if a given operand is compatible with this parameter.
Number	transform(SatConstraintBuilder cb, BtrPlaceTree tree, BtrpOperand op) Transform an operand into the right btrplace parameter.

Methods inherited from class org.btrplace.btrpsl.constraint.DefaultConstraintParam

fullSignature, getName, prettySignature

Methods inherited from class java.lang.Object

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

Constructor Detail

NumberParam

public NumberParam(String n)

Make a new number parameter.

Parameters:

n - the parameter value

Method Detail

transform

public Number transform(SatConstraintBuilder cb,
                        BtrPlaceTree tree,
                        BtrpOperand op)

Description copied from interface: ConstraintParam

Transform an operand into the right btrplace parameter.

Parameters:

cb - the associated constraint

tree - the tree use to propagate errors

op - the operand to transform

Returns:

the transformed parameter. null if the transformation is not possible

isCompatibleWith

public boolean isCompatibleWith(BtrPlaceTree t,
                                BtrpOperand o)

Description copied from interface: ConstraintParam

Check if a given operand is compatible with this parameter.

Parameters:

t - the tree used to propagate errors

o - the operand to test

Returns:

true iff the operand is compatible