Package org.btrplace.safeplace.spec.prop

Class ForAll

java.lang.Object

org.btrplace.safeplace.spec.prop.ForAll

All Implemented Interfaces:

Proposition

public class ForAll
extends Object
implements Proposition

Author:

Fabien Hermenier

Field Summary

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

False, True

Constructor Summary

Constructors

Constructor	Description
ForAll(List<UserVar<?>> vars, Proposition p)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ForAll

public ForAll(List<UserVar<?>> vars, Proposition p)

Method Details

not

public Proposition not()

Specified by:

not in interface Proposition

eval

public Boolean eval(Context m)

Specified by:

eval in interface Proposition

toString

public String toString()

Overrides:

toString in class Object