mCRL2
Loading...
Searching...
No Matches
mcrl2::data::concepts Namespace Reference

Functions

BOOST_concept(Substitution,(S)) BOOST_concept(MutableSubstitution,(S)) BOOST_concept (Evaluator,(C)(S))
 

Function Documentation

◆ BOOST_concept()

BOOST_concept(Substitution,(S)) BOOST_concept(MutableSubstitution,(S)) mcrl2::data::concepts::BOOST_concept ( Evaluator  ,
(C)(S)   
)

Definition at line 59 of file concepts.h.