17 #ifndef TEAMCENTER__CONFIGURATIONCNF__HXX
18 #define TEAMCENTER__CONFIGURATIONCNF__HXX
21 #include <common/tc_deprecation_macros.h>
24 #include <fnd0booleansolve/libfnd0booleansolve_exports.h>
28 class ConfigurationCNF;
32 class ConfigurationCNFImpl;
36 class ConfigurationCNFDelegate;
40 class ConfigurationCNFDispatch;
44 class ConfigurationCNFGenImpl;
79 int getClause_literals( std::vector< tag_t > &values, std::vector< int > &isNull )
const;
88 int getClauseIDs( std::vector< int > &values, std::vector< int > &isNull )
const;
124 int setClause_literals(
const std::vector< tag_t > &values,
const std::vector< int > *isNull=0 );
133 int setClauseIDs(
const std::vector< int > &values,
const std::vector< int > *isNull=0 );
154 virtual void initialize( ::Teamcenter::RootObjectImpl* impl );
193 friend class ConfigurationCNFDelegate;
194 friend class ConfigurationCNFGenImpl;
197 #include <fnd0booleansolve/libfnd0booleansolve_undef.h>
198 #endif // TEAMCENTER__CONFIGURATIONCNF__HXX