public class Operators
extends java.lang.Object
public static Value add(Value v1, Value v2, GenericSolver.SolverInterface c)
+
(binary)public static Value and(Value arg1, Value arg2, GenericSolver.SolverInterface c)
&
public static Value complement(Value v, GenericSolver.SolverInterface c)
~
(bitwise not)public static Value div(Value v1, Value v2, GenericSolver.SolverInterface c)
/
public static Value eq(Value v1, Value v2, GenericSolver.SolverInterface c)
==
public static Value ge(Value v1, Value v2, GenericSolver.SolverInterface c)
>=
public static Value gt(Value v1, Value v2, GenericSolver.SolverInterface c)
>
public static Value in(Value v1, Value v2, GenericSolver.SolverInterface c)
in
public static Value instof(Value v1, Value v2, GenericSolver.SolverInterface c)
instanceof
public static Value le(Value v1, Value v2, GenericSolver.SolverInterface c)
<=
public static Value lt(Value v1, Value v2, GenericSolver.SolverInterface c)
<
public static Value mul(Value v1, Value v2, GenericSolver.SolverInterface c)
*
public static Value neq(Value v1, Value v2, GenericSolver.SolverInterface c)
!=
public static Value or(Value arg1, Value arg2, GenericSolver.SolverInterface c)
|
public static Value rem(Value v1, Value v2, GenericSolver.SolverInterface c)
%
public static Value shl(Value v1, Value v2, GenericSolver.SolverInterface c)
<<
(left shift)public static Value shr(Value v1, Value v2, GenericSolver.SolverInterface c)
>>
(signed right shift)public static Value sub(Value v1, Value v2, GenericSolver.SolverInterface c)
-
(binary)public static Value uminus(Value v, GenericSolver.SolverInterface c)
-
(unary)public static Value uplus(Value v, GenericSolver.SolverInterface c)
+
(unary)public static Value ushr(Value v1, Value v2, GenericSolver.SolverInterface c)
>>>
(unsigned right shift)public static Value xor(Value arg1, Value arg2, GenericSolver.SolverInterface c)
^
Copyright © 2009-2019 Aarhus University