IntOperator (Kodkod API)

java.lang.Object
- java.lang.Enum<IntOperator>
- - kodkod.ast.operator.IntOperator

All Implemented Interfaces:

Serializable, Comparable<IntOperator>
```
public enum IntOperator
extends Enum<IntOperator>
```
Enumerate unary (-, ~, abs, sgn), binary (+, *, &, |, -, /, %, >>, >>>, <<) and nary (+, *, &, |) operators on integer expressions.

Specfields:

op: (int->lone IntExpression) -> IntExpression

Invariants:

all args: seq IntExpression, out: IntExpression | args->out in op => (out.children = args && out.op = this)

Enum Constant Summary

Enum Constants
Enum Constant and Description
`ABS` absolute value function
`AND` Bitwise AND operator
`DIVIDE` `/' operator
`MINUS` `-' operator
`MODULO` `%' operator
`MULTIPLY` `*' operator
`NEG` unary negation (`-') operator
`NOT` bit negation (`~') operator
`OR` Bitwise OR operator
`PLUS` `+' operator
`SGN` signum function
`SHA` Right shift operator with sign extension
`SHL` Left shift operator
`SHR` Right shift operator with zero extension
`XOR` Bitwise XOR operator

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`binary()` Returns true if this is a binary operator.
`boolean`	`nary()` Returns true if this is an nary operator.
`boolean`	`unary()` Returns true if this is a unary operator.
`static IntOperator`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static IntOperator[]`	`values()` Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Enum Constant Detail
  - ABS
```
public static final IntOperator ABS
```
    absolute value function
  - AND
```
public static final IntOperator AND
```
    Bitwise AND operator
  - DIVIDE
```
public static final IntOperator DIVIDE
```
    `/' operator
  - MINUS
```
public static final IntOperator MINUS
```
    `-' operator
  - MODULO
```
public static final IntOperator MODULO
```
    `%' operator
  - MULTIPLY
```
public static final IntOperator MULTIPLY
```
    `*' operator
  - NEG
```
public static final IntOperator NEG
```
    unary negation (`-') operator
  - NOT
```
public static final IntOperator NOT
```
    bit negation (`~') operator
  - OR
```
public static final IntOperator OR
```
    Bitwise OR operator
  - PLUS
```
public static final IntOperator PLUS
```
    `+' operator
  - SGN
```
public static final IntOperator SGN
```
    signum function
  - SHA
```
public static final IntOperator SHA
```
    Right shift operator with sign extension
  - SHL
```
public static final IntOperator SHL
```
    Left shift operator
  - SHR
```
public static final IntOperator SHR
```
    Right shift operator with zero extension
  - XOR
```
public static final IntOperator XOR
```
    Bitwise XOR operator
- Method Detail
  - binary
```
public final boolean binary()
```
    Returns true if this is a binary operator.
    
    Returns:
    
    true if this is a binary operator.
  - nary
```
public final boolean nary()
```
    Returns true if this is an nary operator.
    
    Returns:
    
    true if this is an nary operator.
  - unary
```
public final boolean unary()
```
    Returns true if this is a unary operator.
    
    Returns:
    
    true if this is a unary operator.
  - valueOf
```
public static IntOperator 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
  - values
```
public static IntOperator[] 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 (IntOperator c : IntOperator.values())
    System.out.println(c);
```
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared

Enum IntOperator

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

ABS

AND

DIVIDE

MINUS

MODULO

MULTIPLY

NEG

NOT

OR

PLUS

SGN

SHA

SHL

SHR

XOR

Method Detail

binary

nary

unary

valueOf

values