12#ifndef MCRL2_PBES_PROPOSITIONAL_VARIABLE_H
13#define MCRL2_PBES_PROPOSITIONAL_VARIABLE_H
31 :
atermpp::
aterm(core::detail::default_values::PropVarDecl)
58 const core::identifier_string&
name()
const
60 return atermpp::down_cast<core::identifier_string>((*
this)[0]);
65 return atermpp::down_cast<data::variable_list>((*
this)[1]);
82template <
class... ARGUMENTS>
104std::string
pp(
const propositional_variable& x);
Term containing a string.
aterm()
Default constructor.
const function_symbol & function() const
Returns the function symbol belonging to an aterm.
void swap(unprotected_aterm_core &t) noexcept
Swaps this term with its argument.
\brief A propositional variable declaration
const data::variable_list & parameters() const
propositional_variable(const atermpp::aterm &term)
propositional_variable(const std::string &name)
propositional_variable(const std::string &name, const data::variable_list ¶meters)
\brief Constructor Z1.
propositional_variable(const propositional_variable &) noexcept=default
Move semantics.
const core::identifier_string & name() const
propositional_variable()
\brief Default constructor X3.
propositional_variable(propositional_variable &&) noexcept=default
propositional_variable(const atermpp::aterm_string &name)
propositional_variable(const core::identifier_string &name, const data::variable_list ¶meters)
\brief Constructor Z12.
Functions for pretty printing ATerms.
Parser for data specifications.
The main namespace for the aterm++ library.
void make_term_appl(Term &target, const function_symbol &sym, ForwardIterator begin, ForwardIterator end)
Constructor an aterm in a variable based on a function symbol and an forward iterator providing the a...
const atermpp::function_symbol & function_symbol_PropVarDecl()
bool check_term_PropVarDecl(const Term &t)
void make_propositional_variable(atermpp::aterm &t, const ARGUMENTS &... args)
bool is_propositional_variable(const atermpp::aterm &x)
std::vector< propositional_variable > propositional_variable_vector
\brief vector of propositional_variables
std::ostream & operator<<(std::ostream &os, const absinthe_strategy strategy)
atermpp::term_list< propositional_variable > propositional_variable_list
\brief list of propositional_variables
void swap(fixpoint_symbol &t1, fixpoint_symbol &t2)
\brief swap overload
std::string pp(const fixpoint_symbol &x)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
static const atermpp::function_symbol PropVarDecl