mcrl2::data::detail::lhs_t

Include file:

#include "mcrl2/data/linear_inequalities.h
class mcrl2::data::detail::lhs_t

Public member functions

std::size_t count(const variable &v) const

Give the factor of variable v.

lhs_t erase(const variable &v) const

Erase a variable and its factor.

data_expression evaluate(const SubstitutionFunction &beta, const rewriter &r) const

Evaluate the variables in this lhs_t according to the subsitution function.

lhs_t::const_iterator find(const variable &v) const

Give an iterator of the factor/variable pair for v, or end() if v does not occur.

lhs_t()

Constructor.

lhs_t(const ITERATOR begin, const ITERATOR end)

Constructor.

lhs_t(const ITERATOR begin, const ITERATOR end, TRANSFORMER f)

Constructor.

const data_expression &operator[](const variable &v) const

Give the factor of variable v.

data_expression transform_to_data_expression() const