csl::PropertyList Class Reference

Public Member Functions
	PropertyList (const PropertyList &)=delete
	PropertyList (const PropertyList &&)=delete
PropertyList &	operator= (const PropertyList &)=delete
PropertyList &	operator= (const PropertyList &&)=delete
void	addProperty (const Expr &leftHandSide)
void	addProperty (const Expr &leftHandSide, const Expr &rightHandSide)
void	removeProperty (Equation *prop)
void	removeProperty (const Expr &leftHandSide)
void	removeProperty (const Expr &leftHandSide, const Expr &rightHandSide)
csl::vector_expr	apply (const Expr &expr) const

Protected Attributes
std::vector< Equation * >	props

Friends
std::ostream &	operator<< (std::ostream &fout, const PropertyList &prop)

---

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

• include/property.h
• src/property.cpp