Class duration_expression

Defined in File DYNATranslator.h

Class Documentation

class duration_expression

Public Functions

inline duration_expression(const string &op, const var_symbol_list *aargs, const var_symbol_list &vs, const expression *e)

string createAll(State&)

bool bindAll(Environment&, State&, const expression*)

bool nextBinding(Environment&, State&, const expression*)

void recordOne(stringstream&, State&, Environment&)

inline duration_expression(const string &op, const var_symbol_list &vs, const expression *e)

string createAll(State&)

bool bindAll(Environment&, State&, const expression*)

bool nextBinding(Environment&, State&, const expression*)

void recordOne(stringstream&, State&, Environment&)