mcrl2::data::detail::jitty_variable_assignment_for_a_rewrite_rule Struct Reference

#include <jitty.h>

Public Member Functions
	jitty_variable_assignment_for_a_rewrite_rule (const variable &m_var, const data_expression &m_term, bool m_nf)

Public Attributes
const variable &	var
const data_expression &	term
bool	variable_is_a_normal_form

Detailed Description

Definition at line 22 of file jitty.h.

Constructor & Destructor Documentation

jitty_variable_assignment_for_a_rewrite_rule()

mcrl2::data::detail::jitty_variable_assignment_for_a_rewrite_rule::jitty_variable_assignment_for_a_rewrite_rule ( const variable &  m_var, const data_expression &  m_term, bool  m_nf  )

inline

Definition at line 28 of file jitty.h.

Member Data Documentation

term

const data_expression& mcrl2::data::detail::jitty_variable_assignment_for_a_rewrite_rule::term

Definition at line 25 of file jitty.h.

var

const variable& mcrl2::data::detail::jitty_variable_assignment_for_a_rewrite_rule::var

Definition at line 24 of file jitty.h.

variable_is_a_normal_form

bool mcrl2::data::detail::jitty_variable_assignment_for_a_rewrite_rule::variable_is_a_normal_form

Definition at line 26 of file jitty.h.

---

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

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