Home
last modified time | relevance | path

Searched defs:var_sign (Results 1 – 7 of 7) sorted by relevance

/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/MINC/src/libminc/libsrc/
H A Dminc_structures.h118 int var_sign; /* Variable sign */ member
173 int var_sign, call_sign; member
/dports/science/minc2/minc-release-2.2.00/libsrc/
H A Dminc_structures.h118 int var_sign; /* Variable sign */ member
173 int var_sign, call_sign; member
/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_base.h101 bool var_sign(void) { in var_sign() function
H A Dxchaff_solver.cpp208 int var_sign = lits[i]&0x1; in add_clause() local
/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_model_converter.cpp79 bool var_sign = false; in operator ()() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_model_converter.cpp79 bool var_sign = false; in operator ()() local
/dports/graphics/gmt/gmt-6.3.0/src/
H A Dgmt_symbol.h98 …double x, y, p[CUSTOM_SYMBOL_MAXVAR], const_val[CUSTOM_SYMBOL_MAXVAR], var_sign[CUSTOM_SYMBOL_MAXV… member