Class FreeVar#
Defined in File PlatoOmegaInterface.h
Class Documentation#
-
class FreeVar#
FreeVar is an abstraction for the free variables in the Plato and Omega libraries.
Public Functions
-
inline FreeVar(FREE_VAR_U *free_var_u)#
-
inline virtual ~FreeVar()#
-
inline FREE_VAR_U *ReturnFreeVarU()#
-
inline OMEGA_FREE_VAR *ReturnOmegaFreeVar()#
-
inline PLATO_FREE_VAR *ReturnPlatoFreeVar()#
-
inline FreeVar(FREE_VAR_U *free_var_u)#