Home
last modified time | relevance | path

Searched defs:assume_ (Results 1 – 11 of 11) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dprogram_builder.h161 LitVec assume_; variable
229 LitVec assume_; variable
H A Dclasp_facade.h449 LitVec assume_; variable
H A Dminimize_constraint.h558 LitSet assume_; // current set of assumptions variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dprogram_builder.h161 LitVec assume_; variable
229 LitVec assume_; variable
H A Dclasp_facade.h458 LitVec assume_; variable
H A Dminimize_constraint.h558 LitSet assume_; // current set of assumptions variable
H A Dlogic_program.h615 LpLitVec assume_; // set of assumptions variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dprogram_builder.h161 LitVec assume_; variable
229 LitVec assume_; variable
H A Dclasp_facade.h458 LitVec assume_; variable
H A Dminimize_constraint.h558 LitSet assume_; // current set of assumptions variable
H A Dlogic_program.h615 LpLitVec assume_; // set of assumptions variable