/dports/textproc/libwpd010/libwpd-0.10.3/src/lib/ |
H A D | WP3PageFormatGroup.h | 56 unsigned char m_justification; variable
|
H A D | WP5PageFormatGroup.h | 55 unsigned char m_justification; variable
|
/dports/devel/gn/gn-1962/src/base/posix/ |
H A D | file_descriptor_shuffle.cc | 61 i->close = false; 62 j->close = true;
|
/dports/graphics/pcl-pointclouds/pcl-pcl-1.12.0/surface/include/pcl/surface/3rdparty/opennurbs/ |
H A D | opennurbs_annotation2.h | 1001 unsigned int m_justification; variable
|
/dports/math/gismo/gismo-21.12.0/external/onurbs/ |
H A D | opennurbs_annotation2.h | 1002 unsigned int m_justification; variable
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_dense_diff_logic.h | 80 literal m_justification; member
|
H A D | smt_enode.h | 38 eq_justification m_justification; member
|
H A D | theory_str.h | 177 u_map<svector<expr*> > m_justification; // representative -> list of formulas justifying EQC variable
|
H A D | smt_context.h | 133 eq_justification m_justification; member
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_dense_diff_logic.h | 80 literal m_justification; member
|
H A D | smt_enode.h | 37 eq_justification m_justification; member
|
H A D | theory_str.h | 224 u_map<svector<expr*> > m_justification; // representative -> list of formulas justifying EQC variable
|
H A D | smt_context.h | 134 eq_justification m_justification; member
|
/dports/math/z3/z3-z3-4.8.13/src/ast/euf/ |
H A D | euf_enode.h | 63 justification m_justification; variable
|
H A D | euf_egraph.h | 175 justification m_justification; variable
|
/dports/textproc/libwps/libwps-0.4.12/src/lib/ |
H A D | DosWord.cpp | 82 uint8_t m_justification; member
|
H A D | MSWrite.cpp | 147 uint8_t m_justification; member
|
/dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
H A D | nlsat_interval_set.cpp | 30 literal m_justification; member
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
H A D | nlsat_interval_set.cpp | 30 literal m_justification; member
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/euf/ |
H A D | euf_egraph.h | 159 justification m_justification; variable
|
/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_solver.h | 130 svector<justification> m_justification; variable
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
H A D | sat_solver.h | 122 svector<justification> m_justification; variable
|
/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
H A D | spacer_context.h | 69 reach_fact_ref_vector m_justification; variable
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
H A D | spacer_context.h | 68 reach_fact_ref_vector m_justification; variable
|
/dports/editors/abiword/abiword-3.0.5/src/wp/impexp/xp/ |
H A D | ie_imp_RTF.h | 214 ParaJustification m_justification; member
|