libsemigroups::RWS::Rule Class Reference

Class for rules in rewriting systems, which supports only two methods, Rule::lhs and Rule::rhs, which return the left and right hand sides of the rule. More...

#include <rws.h>

Public Member Functions
rws_word_t const *	lhs () const
	Returns the left hand side of the rule, which is guaranteed to be greater than its right hand side according to the reduction ordering of the RWS used to construct this. More...
rws_word_t const *	rhs () const
	Returns the right hand side of the rule, which is guaranteed to be less than its left hand side according to the reduction ordering of the RWS used to construct this. More...

Detailed Description

Class for rules in rewriting systems, which supports only two methods, Rule::lhs and Rule::rhs, which return the left and right hand sides of the rule.

Member Function Documentation

lhs()

rws_word_t const* libsemigroups::RWS::Rule::lhs ( ) const

inline

Returns the left hand side of the rule, which is guaranteed to be greater than its right hand side according to the reduction ordering of the RWS used to construct this.

rhs()

rws_word_t const* libsemigroups::RWS::Rule::rhs ( ) const

inline

Returns the right hand side of the rule, which is guaranteed to be less than its left hand side according to the reduction ordering of the RWS used to construct this.

---

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

• src/rws.h