souffle
2.0.2-371-g6315b36
|
Functions | |
RamDomain | evalBinary (FunctorOp functor, RamDomain arg1, RamDomain arg2) |
Evaluate a binary operator. More... | |
RamDomain | evalExpression (Own< Expression > expression) |
Function to evaluate a single Expression. More... | |
RamDomain | evalExpression (Own< Expression > expression, SymbolTable &symTab) |
Function to evaluate a single Expression. More... | |
RamDomain | evalMultiArg (FunctorOp functor, VecOwn< Expression > args) |
RamDomain | evalMultiArg (FunctorOp functor, VecOwn< Expression > args, SymbolTable &symTab) |
RamDomain | evalUnary (FunctorOp functor, RamDomain arg1) |
Evaluate a single argument expression. More... | |
TEST (Basic, Iteration) | |
TEST (Binary, FloatAdd) | |
TEST (Binary, FloatDiv) | |
TEST (Binary, FloatExp) | |
TEST (Binary, FloatMul) | |
TEST (Binary, FloatSub) | |
TEST (Binary, SignedAdd) | |
TEST (Binary, SignedBinaryAnd) | |
TEST (Binary, SignedBinaryOr) | |
TEST (Binary, SignedBinaryXor) | |
TEST (Binary, SignedDiv) | |
TEST (Binary, SignedExp) | |
TEST (Binary, SignedLogicalAnd) | |
TEST (Binary, SignedLogicalOr) | |
TEST (Binary, SignedMod) | |
TEST (Binary, SignedMul) | |
TEST (Binary, SignedSub) | |
TEST (Binary, UnsignedAdd) | |
TEST (Binary, UnsignedBinaryAnd) | |
TEST (Binary, UnsignedBinaryOr) | |
TEST (Binary, UnsignedBinaryXor) | |
TEST (Binary, UnsignedDiv) | |
TEST (Binary, UnsignedExp) | |
TEST (Binary, UnsignedLogicalAnd) | |
TEST (Binary, UnsignedLogicalOr) | |
TEST (Binary, UnsignedMod) | |
TEST (Binary, UnsignedMul) | |
TEST (Binary, UnsignedSub) | |
TEST (Independence, Iteration) | |
TEST (IndependentCopying, Iteration) | |
TEST (IndependentMoving, Iteration) | |
TEST (IO_load, Float) | |
TEST (IO_load, MixedTypesLoad) | |
TEST (IO_load, Signed) | |
TEST (IO_load, Unsigned) | |
TEST (IO_store, Float) | |
TEST (IO_store, FloatSimple) | |
TEST (IO_store, MixedTypes) | |
TEST (IO_store, Signed) | |
TEST (IO_store, SignedChangedDelimiter) | |
TEST (IO_store, Unsigned) | |
TEST (MultiArg, FloatMax) | |
TEST (MultiArg, FloatMin) | |
TEST (MultiArg, Max) | |
TEST (MultiArg, Min) | |
TEST (MultiArg, SymbolMax) | |
TEST (MultiArg, SymbolMin) | |
TEST (MultiArg, UnsignedMax) | |
TEST (MultiArg, UnsignedMin) | |
TEST (Relation0, Construction) | |
TEST (Relation0, Iteration) | |
TEST (Relation1, Construction) | |
TEST (Reordering, Iteration) | |
TEST (SignedConstant, ArithmeticEvaluation) | |
TEST (Unary, BinaryNot) | |
TEST (Unary, FloatNeg) | |
TEST (Unary, FloatToSigned) | |
TEST (Unary, FloatToUnsigned) | |
TEST (Unary, LogicalNeg) | |
TEST (Unary, Neg) | |
TEST (Unary, SignedToFloat) | |
TEST (Unary, SingedTpUnsigned) | |
TEST (Unary, UnsignedBinaryNot) | |
TEST (Unary, UnsignedLogicalNeg) | |
TEST (Unary, UnsignedToFloat) | |
TEST (Unary, UnsignedToSigned) | |
const std::string | testInterpreterStore (std::vector< std::string > attribs, std::vector< std::string > attribsTypes, VecOwn< Expression > exprs) |
RamDomain souffle::interpreter::test::evalBinary | ( | FunctorOp | functor, |
RamDomain | arg1, | ||
RamDomain | arg2 | ||
) |
Evaluate a binary operator.
Definition at line 112 of file ram_arithmetic_test.cpp.
Referenced by TEST().
RamDomain souffle::interpreter::test::evalExpression | ( | Own< Expression > | expression | ) |
Function to evaluate a single Expression.
Definition at line 89 of file ram_arithmetic_test.cpp.
RamDomain souffle::interpreter::test::evalExpression | ( | Own< Expression > | expression, |
SymbolTable & | symTab | ||
) |
RamDomain souffle::interpreter::test::evalMultiArg | ( | FunctorOp | functor, |
VecOwn< Expression > | args | ||
) |
Definition at line 98 of file ram_arithmetic_test.cpp.
References evalMultiArg().
RamDomain souffle::interpreter::test::evalMultiArg | ( | FunctorOp | functor, |
VecOwn< Expression > | args, | ||
SymbolTable & | symTab | ||
) |
Definition at line 94 of file ram_arithmetic_test.cpp.
Referenced by evalMultiArg(), and evalUnary().
Evaluate a single argument expression.
Definition at line 104 of file ram_arithmetic_test.cpp.
References evalMultiArg().
Referenced by TEST().
souffle::interpreter::test::TEST | ( | Basic | , |
Iteration | |||
) |
Definition at line 94 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | Binary | , |
FloatAdd | |||
) |
Definition at line 258 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
FloatDiv | |||
) |
Definition at line 388 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
FloatExp | |||
) |
Definition at line 432 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_TRUE, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
FloatMul | |||
) |
Definition at line 342 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
FloatSub | |||
) |
Definition at line 300 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
SignedAdd | |||
) |
Definition at line 230 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedBinaryAnd | |||
) |
Definition at line 475 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedBinaryOr | |||
) |
Definition at line 503 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedBinaryXor | |||
) |
Definition at line 531 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedDiv | |||
) |
Definition at line 356 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedExp | |||
) |
Definition at line 404 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedLogicalAnd | |||
) |
Definition at line 559 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedLogicalOr | |||
) |
Definition at line 587 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedMod | |||
) |
Definition at line 447 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedMul | |||
) |
Definition at line 314 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
SignedSub | |||
) |
Definition at line 272 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, and i.
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedAdd | |||
) |
Definition at line 244 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedBinaryAnd | |||
) |
Definition at line 489 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedBinaryOr | |||
) |
Definition at line 517 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedBinaryXor | |||
) |
Definition at line 545 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedDiv | |||
) |
Definition at line 372 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedExp | |||
) |
Definition at line 418 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedLogicalAnd | |||
) |
Definition at line 573 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedLogicalOr | |||
) |
Definition at line 601 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedMod | |||
) |
Definition at line 461 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedMul | |||
) |
Definition at line 328 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Binary | , |
UnsignedSub | |||
) |
Definition at line 286 of file ram_arithmetic_test.cpp.
References evalBinary(), EXPECT_EQ, i, and souffle::ramBitCast().
souffle::interpreter::test::TEST | ( | Independence | , |
Iteration | |||
) |
Definition at line 121 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IndependentCopying | , |
Iteration | |||
) |
Definition at line 172 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IndependentMoving | , |
Iteration | |||
) |
Definition at line 149 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_load | , |
Float | |||
) |
Definition at line 449 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_load | , |
MixedTypesLoad | |||
) |
Definition at line 573 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_load | , |
Signed | |||
) |
Definition at line 387 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_load | , |
Unsigned | |||
) |
Definition at line 511 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
Float | |||
) |
Definition at line 165 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
FloatSimple | |||
) |
Definition at line 110 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
MixedTypes | |||
) |
Definition at line 317 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
Signed | |||
) |
Definition at line 129 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
SignedChangedDelimiter | |||
) |
Definition at line 240 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | IO_store | , |
Unsigned | |||
) |
Definition at line 203 of file ram_relation_test.cpp.
souffle::interpreter::test::TEST | ( | MultiArg | , |
FloatMax | |||
) |
Definition at line 641 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | MultiArg | , |
FloatMin | |||
) |
Definition at line 695 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | MultiArg | , |
Max | |||
) |
Definition at line 615 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | MultiArg | , |
Min | |||
) |
Definition at line 669 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | MultiArg | , |
SymbolMax | |||
) |
Definition at line 654 of file ram_arithmetic_test.cpp.
References i, and souffle::SymbolTable::lookup().
souffle::interpreter::test::TEST | ( | MultiArg | , |
SymbolMin | |||
) |
Definition at line 708 of file ram_arithmetic_test.cpp.
References i, and souffle::SymbolTable::lookup().
souffle::interpreter::test::TEST | ( | MultiArg | , |
UnsignedMax | |||
) |
souffle::interpreter::test::TEST | ( | MultiArg | , |
UnsignedMin | |||
) |
souffle::interpreter::test::TEST | ( | Relation0 | , |
Construction | |||
) |
Definition at line 38 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | Relation0 | , |
Iteration | |||
) |
Definition at line 54 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | Relation1 | , |
Construction | |||
) |
Definition at line 73 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | Reordering | , |
Iteration | |||
) |
Definition at line 195 of file interpreter_relation_test.cpp.
souffle::interpreter::test::TEST | ( | SignedConstant | , |
ArithmeticEvaluation | |||
) |
Definition at line 120 of file ram_arithmetic_test.cpp.
References evalUnary(), EXPECT_EQ, souffle::NEG, and TESTS_PER_OPERATION.
souffle::interpreter::test::TEST | ( | Unary | , |
BinaryNot | |||
) |
Definition at line 142 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
FloatNeg | |||
) |
Definition at line 133 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
FloatToSigned | |||
) |
Definition at line 203 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
FloatToUnsigned | |||
) |
Definition at line 221 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
LogicalNeg | |||
) |
Definition at line 159 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
Neg | |||
) |
Definition at line 127 of file ram_arithmetic_test.cpp.
References evalUnary(), EXPECT_EQ, souffle::FNEG, souffle::ramBitCast(), and TESTS_PER_OPERATION.
souffle::interpreter::test::TEST | ( | Unary | , |
SignedToFloat | |||
) |
Definition at line 194 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
SingedTpUnsigned | |||
) |
Definition at line 176 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
UnsignedBinaryNot | |||
) |
Definition at line 150 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
UnsignedLogicalNeg | |||
) |
Definition at line 167 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
UnsignedToFloat | |||
) |
Definition at line 212 of file ram_arithmetic_test.cpp.
souffle::interpreter::test::TEST | ( | Unary | , |
UnsignedToSigned | |||
) |
Definition at line 185 of file ram_arithmetic_test.cpp.
const std::string souffle::interpreter::test::testInterpreterStore | ( | std::vector< std::string > | attribs, |
std::vector< std::string > | attribsTypes, | ||
VecOwn< Expression > | exprs | ||
) |
Definition at line 64 of file ram_relation_test.cpp.