org.evosuite.symbolic.solver.smt

Enum SmtOperation.Operator

java.lang.Object

java.lang.Enum<SmtOperation.Operator>

org.evosuite.symbolic.solver.smt.SmtOperation.Operator

All Implemented Interfaces:

Serializable, Comparable<SmtOperation.Operator>

Enclosing class:

SmtOperation

public static enum SmtOperation.Operator
extends Enum<SmtOperation.Operator>

Enum Constant Summary

Enum Constants

Enum Constant and Description
ABS
ADD
BV2INT
BV2Nat
BVADD
BVAND
BVASHR
BVLSHR
BVOR
BVSHL
BVXOR
CHAR_TO_INT
CONCAT
CONTAINS
DIV
ENDSWITH
EQ
GE
GT
INDEXOF
INT_TO_CHAR
INT_TO_STR
INT2BV32
INT2REAL
ITE
LE
LENGTH
LT
MINUS
MOD
MUL
NOT
REAL2INT
REG_EXP_ALL_CHAR
REG_EXP_CONCAT
REG_EXP_KLEENE_CROSS
REG_EXP_KLEENE_STAR
REG_EXP_LOOP
REG_EXP_OPTIONAL
REG_EXP_RANGE
REG_EXP_UNION
REM
REPLACE
SLASH
STARTSWITH
STR_AT
STR_CONCAT
STR_CONTAINS
STR_IN_REG_EXP
STR_INDEXOF
STR_LEN
STR_PREFIXOF
STR_REPLACE
STR_SUBSTR
STR_SUFFIXOF
STR_TO_INT
STR_TO_REG_EXP
SUBSTRING

Method Summary

Modifier and Type	Method and Description
String	toString()
static SmtOperation.Operator	valueOf(String name) Returns the enum constant of this type with the specified name.
static SmtOperation.Operator[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

MUL

public static final SmtOperation.Operator MUL

MINUS

public static final SmtOperation.Operator MINUS

ADD

public static final SmtOperation.Operator ADD

MOD

public static final SmtOperation.Operator MOD

INT2BV32

public static final SmtOperation.Operator INT2BV32

BVOR

public static final SmtOperation.Operator BVOR

BV2Nat

public static final SmtOperation.Operator BV2Nat

BVAND

public static final SmtOperation.Operator BVAND

BVXOR

public static final SmtOperation.Operator BVXOR

BV2INT

public static final SmtOperation.Operator BV2INT

BVSHL

public static final SmtOperation.Operator BVSHL

BVASHR

public static final SmtOperation.Operator BVASHR

BVLSHR

public static final SmtOperation.Operator BVLSHR

GT

public static final SmtOperation.Operator GT

ITE

public static final SmtOperation.Operator ITE

LT

public static final SmtOperation.Operator LT

GE

public static final SmtOperation.Operator GE

REAL2INT

public static final SmtOperation.Operator REAL2INT

INT2REAL

public static final SmtOperation.Operator INT2REAL

DIV

public static final SmtOperation.Operator DIV

SLASH

public static final SmtOperation.Operator SLASH

STR_SUBSTR

public static final SmtOperation.Operator STR_SUBSTR

STR_REPLACE

public static final SmtOperation.Operator STR_REPLACE

STR_INDEXOF

public static final SmtOperation.Operator STR_INDEXOF

EQ

public static final SmtOperation.Operator EQ

STR_CONCAT

public static final SmtOperation.Operator STR_CONCAT

INT_TO_STR

public static final SmtOperation.Operator INT_TO_STR

STR_SUFFIXOF

public static final SmtOperation.Operator STR_SUFFIXOF

STR_CONTAINS

public static final SmtOperation.Operator STR_CONTAINS

STR_AT

public static final SmtOperation.Operator STR_AT

CHAR_TO_INT

public static final SmtOperation.Operator CHAR_TO_INT

STR_PREFIXOF

public static final SmtOperation.Operator STR_PREFIXOF

INT_TO_CHAR

public static final SmtOperation.Operator INT_TO_CHAR

STR_LEN

public static final SmtOperation.Operator STR_LEN

LE

public static final SmtOperation.Operator LE

NOT

public static final SmtOperation.Operator NOT

STR_TO_INT

public static final SmtOperation.Operator STR_TO_INT

ABS

public static final SmtOperation.Operator ABS

BVADD

public static final SmtOperation.Operator BVADD

STR_IN_REG_EXP

public static final SmtOperation.Operator STR_IN_REG_EXP

STR_TO_REG_EXP

public static final SmtOperation.Operator STR_TO_REG_EXP

REG_EXP_CONCAT

public static final SmtOperation.Operator REG_EXP_CONCAT

REG_EXP_KLEENE_STAR

public static final SmtOperation.Operator REG_EXP_KLEENE_STAR

REG_EXP_UNION

public static final SmtOperation.Operator REG_EXP_UNION

REG_EXP_OPTIONAL

public static final SmtOperation.Operator REG_EXP_OPTIONAL

REG_EXP_ALL_CHAR

public static final SmtOperation.Operator REG_EXP_ALL_CHAR

REG_EXP_KLEENE_CROSS

public static final SmtOperation.Operator REG_EXP_KLEENE_CROSS

REG_EXP_LOOP

public static final SmtOperation.Operator REG_EXP_LOOP

REG_EXP_RANGE

public static final SmtOperation.Operator REG_EXP_RANGE

REM

public static final SmtOperation.Operator REM

CONCAT

public static final SmtOperation.Operator CONCAT

REPLACE

public static final SmtOperation.Operator REPLACE

SUBSTRING

public static final SmtOperation.Operator SUBSTRING

ENDSWITH

public static final SmtOperation.Operator ENDSWITH

CONTAINS

public static final SmtOperation.Operator CONTAINS

STARTSWITH

public static final SmtOperation.Operator STARTSWITH

INDEXOF

public static final SmtOperation.Operator INDEXOF

LENGTH

public static final SmtOperation.Operator LENGTH

Method Detail

values

public static SmtOperation.Operator[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (SmtOperation.Operator c : SmtOperation.Operator.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static SmtOperation.Operator valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

toString

public String toString()

Overrides:

toString in class Enum<SmtOperation.Operator>