org.jmlspecs.jml4.fspv.theory
Class TheoryQuantifier

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryQuantifier

public class TheoryQuantifier
extends java.lang.Object

Field Summary

static java.lang.String	EXISTS
static java.lang.String	FORALL
static java.lang.String	MAX
static java.lang.String	MIN
static java.lang.String	NUM_OF
static java.lang.String	PRODUCT
static java.lang.String	SUM

Method Summary

static TheoryQuantifier	exists()
static TheoryQuantifier	forall()
boolean	isExists()
boolean	isForall()
boolean	isMax()
boolean	isMin()
boolean	isProduct()
boolean	isSum()
static TheoryQuantifier	max()
static TheoryQuantifier	min()
static TheoryQuantifier	numOf()
static TheoryQuantifier	product()
static TheoryQuantifier	sum()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

EXISTS

public static final java.lang.String EXISTS

See Also:

Constant Field Values

FORALL

public static final java.lang.String FORALL

See Also:

Constant Field Values

MAX

public static final java.lang.String MAX

See Also:

Constant Field Values

MIN

public static final java.lang.String MIN

See Also:

Constant Field Values

NUM_OF

public static final java.lang.String NUM_OF

See Also:

Constant Field Values

SUM

public static final java.lang.String SUM

See Also:

Constant Field Values

PRODUCT

public static final java.lang.String PRODUCT

See Also:

Constant Field Values

Method Detail

isExists

public boolean isExists()

isForall

public boolean isForall()

isMax

public boolean isMax()

isMin

public boolean isMin()

isSum

public boolean isSum()

isProduct

public boolean isProduct()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

exists

public static TheoryQuantifier exists()

forall

public static TheoryQuantifier forall()

max

public static TheoryQuantifier max()

min

public static TheoryQuantifier min()

numOf

public static TheoryQuantifier numOf()

sum

public static TheoryQuantifier sum()

product

public static TheoryQuantifier product()