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 aterm &t)¶: Constructor from an aterm.

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¶