mcrl2::data::detail::jitty_assignments_for_a_rewrite_rule Struct Reference

#include <jitty.h>

Public Member Functions
	jitty_assignments_for_a_rewrite_rule (jitty_variable_assignment_for_a_rewrite_rule *a)

Public Attributes
std::size_t	size = 0
jitty_variable_assignment_for_a_rewrite_rule *	assignment

Detailed Description

Definition at line 35 of file jitty.h.

Constructor & Destructor Documentation

jitty_assignments_for_a_rewrite_rule()

mcrl2::data::detail::jitty_assignments_for_a_rewrite_rule::jitty_assignments_for_a_rewrite_rule ( jitty_variable_assignment_for_a_rewrite_rule *  a )

inline

Definition at line 40 of file jitty.h.

Member Data Documentation

assignment

jitty_variable_assignment_for_a_rewrite_rule* mcrl2::data::detail::jitty_assignments_for_a_rewrite_rule::assignment

Definition at line 38 of file jitty.h.

size

std::size_t mcrl2::data::detail::jitty_assignments_for_a_rewrite_rule::size = 0

Definition at line 37 of file jitty.h.

---

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

• data/include/mcrl2/data/detail/rewrite/jitty.h