Template Class PrimitiveEvaluatorConstructor< LitStoreEvaluator >

• Defined in File instantiation.h

Class Documentation

template<>
class PrimitiveEvaluatorConstructor<LitStoreEvaluator>

Public Functions

inline PrimitiveEvaluatorConstructor(LiteralStore &lits)

inline PrimitiveEvaluator *operator()(bool &v, bool &u, bool &w, bool &x)