simplify Class Reference

Collaboration diagram for simplify:

Public Types
enum	simplify_kind { SIMPLIFY , MATCH }

Public Member Functions
	simplify (simplify_kind kind_, unsigned id_, operand *match_, operand *result_, vec< vec< user_id * > > for_vec_, cid_map_t *capture_ids_)

Data Fields
simplify_kind	kind
unsigned	id
operand *	match
class operand *	result
vec< vec< user_id * > >	for_vec
vec< std::pair< user_id *, id_base * > >	for_subst_vec
cid_map_t *	capture_ids
int	capture_max

Detailed Description

The main class of a pattern and its transform.  This is used to
represent both (simplify ...) and (match ...) kinds.  The AST
duplicates all outer 'if' and 'for' expressions here so each
simplify can exist in isolation.   

Member Enumeration Documentation

simplify_kind

enum simplify::simplify_kind

Enumerator
SIMPLIFY
MATCH

Constructor & Destructor Documentation

simplify()

simplify::simplify ( simplify_kind kind_, unsigned id_, operand * match_, operand * result_, vec< vec< user_id * > > for_vec_, cid_map_t * capture_ids_ )

inline

Field Documentation

capture_ids

cid_map_t* simplify::capture_ids

Referenced by lower_commutative(), lower_cond(), lower_for(), and lower_opt().

capture_max

int simplify::capture_max

Referenced by capture_info::capture_info(), decision_tree::insert(), and decision_tree::print_node().

for_subst_vec

vec<std::pair<user_id *, id_base *> > simplify::for_subst_vec

Referenced by decision_tree::gen(), lower_cond(), and lower_for().

for_vec

vec<vec<user_id *> > simplify::for_vec

Referenced by lower_commutative(), lower_cond(), and lower_opt().

id

unsigned simplify::id

Referenced by decision_tree::insert(), lower_commutative(), lower_cond(), lower_for(), and lower_opt().

kind

simplify_kind simplify::kind

Referenced by capture_info::capture_info(), emit_logging_call(), lower_commutative(), lower_cond(), lower_for(), and lower_opt().

match

operand* simplify::match

Referenced by dt_node::append_simplify(), capture_info::capture_info(), emit_logging_call(), decision_tree::gen(), decision_tree::insert(), lower_commutative(), lower_cond(), lower_for(), lower_opt(), and print_matches().

result

class operand* simplify::result

Referenced by capture_info::capture_info(), decision_tree::gen(), lower_commutative(), lower_cond(), lower_for(), and lower_opt().

---

The documentation for this class was generated from the following file:

• genmatch.cc