Template Class TestLiftedObservable

• Defined in File observable_lift.h

Inheritance Relationships

Base Type

• public LiftedObservableType

Class Documentation

template<typename LiftedObservableType>
class TestLiftedObservable : public LiftedObservableType

A lifted Observable used only as an explicit residual test expression.

Public Functions

inline explicit TestLiftedObservable(const LiftedObservableType &observable)

inline const std::vector<FieldId> &dependencies() const

inline TestLiftedObservable with_id(const FieldId id) const