Package it.unive.lisa.symbolic.value.operator.binary

Interface Summary

Interface	Description
BinaryOperator	A binary Operator that can be applied to a pair of SymbolicExpression.

Class Summary

Class	Description
BitwiseAnd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the AND operation (i.e., setting each bit to 1 only if the corresponding bits of both operands are 1) on the arguments. First argument expression type: any NumericType Second argument expression type: any NumericType Computed expression type: NumericType
BitwiseOr	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the OR operation (i.e., setting each bit to 1 only if at least one of the corresponding bits of the operands are 1) on the arguments. First argument expression type: any NumericType Second argument expression type: any NumericType Computed expression type: NumericType
BitwiseShiftLeft	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes a new number built with the bits of the first argument's value shifted to the left by an amount specified by the second argument's value.
BitwiseShiftRight	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes a new number built with the bits of the first argument's value shifted to the right by an amount specified by the second argument's value.
BitwiseUnsignedShiftRight	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes a new number built with the bits of the first argument's value shifted to the right by an amount specified by the second argument's value.
BitwiseXor	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the XOR operation (i.e., setting each bit to 1 only the corresponding bits of the operands are different) on the arguments. First argument expression type: any NumericType Second argument expression type: any NumericType Computed expression type: NumericType
ComparisonEq	Given two expressions, a BinaryExpression using this operator checks if the values those expressions compute to are different.
ComparisonGe	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator checks if the value of the first argument is greater or equal than the value of the right-hand side. First argument expression type: NumericType Second argument expression type: NumericType Computed expression type: BooleanType
ComparisonGt	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator checks if the value of the first argument is greater than the value of the second argument. First argument expression type: NumericType Second argument expression type: NumericType Computed expression type: BooleanType
ComparisonLe	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator checks if the value of the first argument is less or equal than the value of the right-hand side. First argument expression type: NumericType Second argument expression type: NumericType Computed expression type: BooleanType
ComparisonLt	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator checks if the value of the first argument is less than the value of the second argument. First argument expression type: NumericType Second argument expression type: NumericType Computed expression type: BooleanType
ComparisonNe	Given two expressions, a BinaryExpression using this operator checks if the values those expressions compute to are different.
LogicalAnd	Given two expressions that both evaluate to Boolean values, a BinaryExpression using this operator computes the logical conjunction of those values, without short-circuiting. First argument expression type: BooleanType Second argument expression type: BooleanType Computed expression type: BooleanType
LogicalOperation	A common implementation for classes implementing BinaryOperator and LogicalOperator, providing a LogicalOperation.typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no BooleanType can be found in one of the arguments, and a singleton set containing TypeSystem.getBooleanType() otherwise.
LogicalOr	Given two expressions that both evaluate to Boolean values, a BinaryExpression using this operator computes the logical disjunction of those values, without short-circuiting. First argument expression type: BooleanType Second argument expression type: BooleanType Computed expression type: BooleanType
Numeric16BitAdd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values.
Numeric16BitDiv	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic division of those values.
Numeric16BitMod	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values.
Numeric16BitMul	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic multiplication of those values.
Numeric16BitRem	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic remainder (the remainder of the division between the two operands and taking the sign of the dividend) of those values.
Numeric16BitSub	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values.
Numeric32BitAdd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values.
Numeric32BitDiv	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic division of those values.
Numeric32BitMod	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values.
Numeric32BitMul	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic multiplication of those values.
Numeric32BitRem	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic remainder (the remainder of the division between the two operands and taking the sign of the dividend) of those values.
Numeric32BitSub	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values.
Numeric64BitAdd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values.
Numeric64BitDiv	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic division of those values.
Numeric64BitMod	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values.
Numeric64BitMul	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic multiplication of those values.
Numeric64BitRem	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic remainder (the remainder of the division between the two operands and taking the sign of the dividend) of those values.
Numeric64BitSub	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values.
Numeric8BitAdd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values.
Numeric8BitDiv	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic division of those values.
Numeric8BitMod	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values.
Numeric8BitMul	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic multiplication of those values.
Numeric8BitRem	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic remainder (the remainder of the division between the two operands and taking the sign of the dividend) of those values.
Numeric8BitSub	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values.
NumericComparison	A common implementation for classes implementing BinaryOperator and ComparisonOperator, providing a NumericComparison.typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no NumericType can be found in one of the arguments or if NumericType.commonNumericalType(Set, Set) returns an empty set, and a singleton set containing TypeSystem.getBooleanType() otherwise.
NumericNonOverflowingAdd	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic addition of those values.
NumericNonOverflowingDiv	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic division of those values.
NumericNonOverflowingMod	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values.
NumericNonOverflowingMul	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic multiplication of those values.
NumericNonOverflowingRem	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic remainder (the remainder of the division between the two operands and taking the sign of the dividend) of those values.
NumericNonOverflowingSub	Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values.
NumericOperation	A common implementation for classes implementing BinaryOperator, providing a NumericOperation.typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no NumericType, and the result of NumericType.commonNumericalType(Set, Set) otherwise.
StringConcat	Given two expressions that both evaluate to string values, a BinaryExpression using this operator computes the concatenation of the string from the first argument with the one of the second argument. First argument expression type: StringType Second argument expression type: StringType Computed expression type: StringType
StringContains	Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument contains the one of the second argument. First argument expression type: StringType Second argument expression type: StringType Computed expression type: BooleanType
StringEndsWith	Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument is suffixed by the one of the second argument. First argument expression type: StringType Second argument expression type: StringType Computed expression type: BooleanType
StringEquals	Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument is equal (in terms of contents, that is different from ComparisonEq) to the one of the second argument. First argument expression type: StringType Second argument expression type: StringType Computed expression type: BooleanType
StringIndexOf	Given two expressions that both evaluate to string values, a BinaryExpression using this operator computes the starting index of the first occurrence of the string from the second argument inside the one of the first argument, producing -1 if no occurrence can be found. First argument expression type: StringType Second argument expression type: StringType Computed expression type: NumericType (integral)
StringOperation	A common implementation for classes implementing BinaryOperator and StringOperator, providing a StringOperation.typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no StringType can be found in one of the arguments, and a singleton set containing their result type otherwise.
StringStartsWith	Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument is prefixed by the one of the second argument. First argument expression type: StringType Second argument expression type: StringType Computed expression type: BooleanType
TypeCast	Given two expressions, with the second one evaluating to a type token, a BinaryExpression using this operator casts the type of the first argument to the type of the second argument.
TypeCheck	Given two expressions, with the second one evaluating to a type token, a BinaryExpression using this operator checks if the runtime types of the value the first argument evaluates to are subtypes of the ones contained in the token. First argument expression type: any Type Second argument expression type: TypeTokenType Computed expression type: BooleanType
TypeConv	Given two expressions, with the second one evaluating to a type token, a BinaryExpression using this operator converts the type of the first argument to the type of the second argument.