org.jmlspecs.jml4.fspv.theory
Class TheoryOperator

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

public class TheoryOperator
extends java.lang.Object

Author:

karabot

Method Summary

static TheoryOperator	And()
static TheoryOperator	AndAnd()
static TheoryOperator	Divide()
static TheoryOperator	Equal()
static TheoryOperator	Greater()
static TheoryOperator	GreaterEqual()
static TheoryOperator	Less()
static TheoryOperator	LessEqual()
static TheoryOperator	Minus()
static TheoryOperator	Multiply()
static TheoryOperator	Not()
static TheoryOperator	NotEqual()
static TheoryOperator	Or()
static TheoryOperator	OrOr()
static TheoryOperator	Plus()
static TheoryOperator	QuestionColon()
static TheoryOperator	Remainder()
java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Method Detail

Equal

public static TheoryOperator Equal()

LessEqual

public static TheoryOperator LessEqual()

GreaterEqual

public static TheoryOperator GreaterEqual()

NotEqual

public static TheoryOperator NotEqual()

OrOr

public static TheoryOperator OrOr()

AndAnd

public static TheoryOperator AndAnd()

Plus

public static TheoryOperator Plus()

Minus

public static TheoryOperator Minus()

Not

public static TheoryOperator Not()

Remainder

public static TheoryOperator Remainder()

And

public static TheoryOperator And()

Multiply

public static TheoryOperator Multiply()

Or

public static TheoryOperator Or()

Divide

public static TheoryOperator Divide()

Greater

public static TheoryOperator Greater()

Less

public static TheoryOperator Less()

QuestionColon

public static TheoryOperator QuestionColon()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)