Package org.btrplace.safeplace.spec.prop

Class Or

java.lang.Object

org.btrplace.safeplace.spec.prop.BinaryProp

org.btrplace.safeplace.spec.prop.Or

All Implemented Interfaces:

Proposition

public class Or
extends BinaryProp

Author:

Fabien Hermenier

Field Summary

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

p1, p2

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

False, True

Constructor Summary

Constructors

Constructor	Description
Or(Proposition p1, Proposition p2)

Method Summary

Modifier and Type	Method	Description
Boolean	eval(Context m)
And	not()
String	operator()
String	toString()

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

first, second

Methods inherited from class java.lang.Object

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

Constructor Details

Or

public Or(Proposition p1, Proposition p2)

Method Details

operator

public String operator()

Specified by:

operator in class BinaryProp

not

public And not()

eval

public Boolean eval(Context m)

toString

public String toString()

Overrides:

toString in class BinaryProp