ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Public Member Functions | List of all members
ilang::FuncRef Class Reference

The wrapper of Func (uninterpreted function). More...

#include <ilang++.h>

Public Member Functions

 FuncRef (const std::string &name, const SortRef &range)
 Constructor with zero input argument (domain).
 
 FuncRef (const std::string &name, const SortRef &range, const SortRef &d0)
 Constructor with one input argument (domain).
 
 FuncRef (const std::string &name, const SortRef &range, const SortRef &d0, const SortRef &d1)
 Constructor with two input arguments (domain).
 
 FuncRef (const std::string &name, const SortRef &range, const std::vector< SortRef > &dvec)
 Constructor with multiple input arguments (domain).
 
 ~FuncRef ()
 Default destructor.
 
ExprRef operator() () const
 Apply the function with no argument.
 
ExprRef operator() (const ExprRef &arg0) const
 Apply the function with one argument.
 
ExprRef operator() (const ExprRef &arg0, const ExprRef &arg1) const
 Apply the function with two arguments.
 
ExprRef operator() (const std::vector< ExprRef > &argvec) const
 Apply the function with multiple arguments.
 

Detailed Description

The wrapper of Func (uninterpreted function).


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