Package org.btrplace.safeplace.spec.prop

Class NIn

java.lang.Object

org.btrplace.safeplace.spec.prop.AtomicProp

org.btrplace.safeplace.spec.prop.NIn

All Implemented Interfaces:

Proposition

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

NIn

public NIn(Term a, Term b)

Method Details

not

public AtomicProp not()

eval

public Boolean eval(Context m)