|
| RamDomain | souffle::interpreter::test::evalBinary (FunctorOp functor, RamDomain arg1, RamDomain arg2) |
| | Evaluate a binary operator. More...
|
| |
| RamDomain | souffle::interpreter::test::evalExpression (Own< Expression > expression) |
| | Function to evaluate a single Expression. More...
|
| |
| RamDomain | souffle::interpreter::test::evalExpression (Own< Expression > expression, SymbolTable &symTab) |
| | Function to evaluate a single Expression. More...
|
| |
| RamDomain | souffle::interpreter::test::evalMultiArg (FunctorOp functor, VecOwn< Expression > args) |
| |
| RamDomain | souffle::interpreter::test::evalMultiArg (FunctorOp functor, VecOwn< Expression > args, SymbolTable &symTab) |
| |
| RamDomain | souffle::interpreter::test::evalUnary (FunctorOp functor, RamDomain arg1) |
| | Evaluate a single argument expression. More...
|
| |
| | souffle::interpreter::test::TEST (Binary, FloatAdd) |
| |
| | souffle::interpreter::test::TEST (Binary, FloatDiv) |
| |
| | souffle::interpreter::test::TEST (Binary, FloatExp) |
| |
| | souffle::interpreter::test::TEST (Binary, FloatMul) |
| |
| | souffle::interpreter::test::TEST (Binary, FloatSub) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedAdd) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedBinaryAnd) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedBinaryOr) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedBinaryXor) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedDiv) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedExp) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedLogicalAnd) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedLogicalOr) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedMod) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedMul) |
| |
| | souffle::interpreter::test::TEST (Binary, SignedSub) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedAdd) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedBinaryAnd) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedBinaryOr) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedBinaryXor) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedDiv) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedExp) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedLogicalAnd) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedLogicalOr) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedMod) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedMul) |
| |
| | souffle::interpreter::test::TEST (Binary, UnsignedSub) |
| |
| | souffle::interpreter::test::TEST (MultiArg, FloatMax) |
| |
| | souffle::interpreter::test::TEST (MultiArg, FloatMin) |
| |
| | souffle::interpreter::test::TEST (MultiArg, Max) |
| |
| | souffle::interpreter::test::TEST (MultiArg, Min) |
| |
| | souffle::interpreter::test::TEST (MultiArg, SymbolMax) |
| |
| | souffle::interpreter::test::TEST (MultiArg, SymbolMin) |
| |
| | souffle::interpreter::test::TEST (MultiArg, UnsignedMax) |
| |
| | souffle::interpreter::test::TEST (MultiArg, UnsignedMin) |
| |
| | souffle::interpreter::test::TEST (SignedConstant, ArithmeticEvaluation) |
| |
| | souffle::interpreter::test::TEST (Unary, BinaryNot) |
| |
| | souffle::interpreter::test::TEST (Unary, FloatNeg) |
| |
| | souffle::interpreter::test::TEST (Unary, FloatToSigned) |
| |
| | souffle::interpreter::test::TEST (Unary, FloatToUnsigned) |
| |
| | souffle::interpreter::test::TEST (Unary, LogicalNeg) |
| |
| | souffle::interpreter::test::TEST (Unary, Neg) |
| |
| | souffle::interpreter::test::TEST (Unary, SignedToFloat) |
| |
| | souffle::interpreter::test::TEST (Unary, SingedTpUnsigned) |
| |
| | souffle::interpreter::test::TEST (Unary, UnsignedBinaryNot) |
| |
| | souffle::interpreter::test::TEST (Unary, UnsignedLogicalNeg) |
| |
| | souffle::interpreter::test::TEST (Unary, UnsignedToFloat) |
| |
| | souffle::interpreter::test::TEST (Unary, UnsignedToSigned) |
| |
