Searched refs:RamseyPolicyStatement (Results 1 – 3 of 3) sorted by relevance
227 class RamseyPolicyStatement : public Statement class234 RamseyPolicyStatement(const SymbolTable &symbol_table_arg,
2213 mod_file->addStatement(make_unique<RamseyPolicyStatement>(mod_file->symbol_table, in ramsey_policy()
631 …the derivation order is determined in the check pass, see \texttt{RamseyPolicyStatement::checkPass…