mcrl2::data::detail::variable_with_a_rational_factor

Include file:

#include "mcrl2/data/linear_inequalities.h

class mcrl2::data::detail::variable_with_a_rational_factor

Public member functions

const data_expression &factor() const

bool is_variable_with_a_rational_factor() const

data_expression transform_to_data_expression() const

const variable &variable_name() const

variable_with_a_rational_factor(const variable &v, const data_expression &f)