Package org.btrplace.safeplace.spec.term

Class IntMinus

java.lang.Object

org.btrplace.safeplace.spec.term.Minus<Integer>

org.btrplace.safeplace.spec.term.IntMinus

All Implemented Interfaces:

Term<Integer>

public class IntMinus
extends Minus<Integer>

Author:

Fabien Hermenier

Field Summary

Fields inherited from class org.btrplace.safeplace.spec.term.Minus

a, b

Constructor Summary

Constructors

Constructor	Description
IntMinus(Term<Integer> t1, Term<Integer> t2)

Method Summary

Modifier and Type	Method	Description
Integer	eval(Context mo, Object... args)

Methods inherited from class org.btrplace.safeplace.spec.term.Minus

toString, type

Methods inherited from class java.lang.Object

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

Constructor Details

IntMinus

public IntMinus(Term<Integer> t1, Term<Integer> t2)

Method Details

eval

public Integer eval(Context mo, Object... args)