78 Value* ConcatFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in ConcatFn()
94 Value* IfElseFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in IfElseFn()
114 Value* AbortFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in AbortFn()
124 Value* AssertFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in AssertFn()
139 Value* SleepFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in SleepFn()
154 Value* StdoutFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in StdoutFn()
166                     const std::vector<std::unique_ptr<Expr>>& argv) {  in LogicalAndFn()
179                    const std::vector<std::unique_ptr<Expr>>& argv) {  in LogicalOrFn()
192                     const std::vector<std::unique_ptr<Expr>>& argv) {  in LogicalNotFn()
202                    const std::vector<std::unique_ptr<Expr>>& argv) {  in SubstringFn()
217 Value* EqualityFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in EqualityFn()
232                     const std::vector<std::unique_ptr<Expr>>& argv) {  in InequalityFn()
246 Value* SequenceFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in SequenceFn()
255                      const std::vector<std::unique_ptr<Expr>>& argv) {  in LessThanIntFn()
283                         const std::vector<std::unique_ptr<Expr>>& argv) {  in GreaterThanIntFn()
310 Value* Literal(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv) {  in Literal()
352 bool ReadArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv,  in ReadArgs()
357 bool ReadArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv,  in ReadArgs()
378 bool ReadValueArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv,  in ReadValueArgs()
383 bool ReadValueArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv,  in ReadValueArgs()