mcrl2::data::forall¶
Include file:
#include "mcrl2/data/forall.h
-
class
mcrl2::data::forall¶ universal quantification.
Public member functions¶
-
forall(const aterm &d)¶ Constructor.
Parameters:
- d An aterm.
Pre: d has the interal structure of an abstraction.
Pre: d is a universal quantification.
-
forall(const Container &variables, const data_expression &body, typename atermpp::enable_if_container<Container, variable>::type * = nullptr)¶ Constructor.
Parameters:
- variables A nonempty list of binding variables (objects of type variable).
- body The body of the forall abstraction.
Pre: variables is not empty.
