Package org.btrplace.safeplace.spec.prop

Class Eq

java.lang.Object

org.btrplace.safeplace.spec.prop.AtomicProp

org.btrplace.safeplace.spec.prop.Eq

All Implemented Interfaces:

Proposition

public class Eq
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
Eq(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

Eq

public Eq(Term a, Term b)

Method Details

not

public AtomicProp not()

eval

public Boolean eval(Context m)