Package org.btrplace.safeplace.spec.prop

Class Leq

java.lang.Object

org.btrplace.safeplace.spec.prop.AtomicProp

org.btrplace.safeplace.spec.prop.Leq

All Implemented Interfaces:

Proposition

public class Leq
extends AtomicProp

Author:

Fabien Hermenier

Field Summary

Fields inherited from class org.btrplace.safeplace.spec.prop.AtomicProp

a, b

Fields inherited from interface org.btrplace.safeplace.spec.prop.Proposition

False, True

Constructor Summary

Constructors

Constructor	Description
Leq(Term a, Term b)

Method Summary

Modifier and Type	Method	Description
Boolean	eval(Context m)
AtomicProp	not()

Methods inherited from class org.btrplace.safeplace.spec.prop.AtomicProp

toString

Methods inherited from class java.lang.Object

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

Constructor Details

Leq

public Leq(Term a, Term b)

Method Details

not

public AtomicProp not()

eval

public Boolean eval(Context m)