hobbes::AddDBFieldSignal Class Reference

Inheritance diagram for hobbes::AddDBFieldSignal:

Collaboration diagram for hobbes::AddDBFieldSignal:

Public Member Functions
bool	refine (const TEnvPtr &, const HasField &, MonoTypeUnifier *, Definitions *)
bool	satisfied (const TEnvPtr &, const HasField &, Definitions *) const
bool	satisfiable (const TEnvPtr &, const HasField &, Definitions *) const
ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const
std::string	name () const

Member Function Documentation

name()

std::string hobbes::AddDBFieldSignal::name ( ) const

virtual

Implements hobbes::HFEliminator.

refine()

bool hobbes::AddDBFieldSignal::refine ( const TEnvPtr &  tenv, const HasField &  hf, MonoTypeUnifier *  u, Definitions *    )

virtual

Implements hobbes::HFEliminator.

satisfiable()

bool hobbes::AddDBFieldSignal::satisfiable ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

satisfied()

bool hobbes::AddDBFieldSignal::satisfied ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *    ) const

virtual

Implements hobbes::HFEliminator.

unqualify()

ExprPtr hobbes::AddDBFieldSignal::unqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

---

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

• lib/hobbes/db/signals.C