/dports/devel/thrust/thrust-1.9.5/testing/ |
H A D | remove.cu | 698 size_t num_false = thrust::count_if(h_data.begin(), h_data.end(), thrust::not1(is_true<T>())); in TestRemoveCopyIfToDiscardIterator() local 748 …size_t num_false = thrust::count_if(h_stencil.begin(), h_stencil.end(), thrust::not1(is_true<T>())… in TestRemoveCopyIfStencilToDiscardIterator() local
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | smt_consequences.cpp | 511 unsigned num_true = 0, num_false = 0, num_undef = 0; in display_partial_assignment() local
|
H A D | theory_pb.cpp | 334 unsigned num_false = 0; in validate_conflict() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | smt_consequences.cpp | 511 unsigned num_true = 0, num_false = 0, num_undef = 0; in display_partial_assignment() local
|
H A D | theory_pb.cpp | 334 unsigned num_false = 0; in validate_conflict() local
|
/dports/games/fs2open/fs2open.github.com-release_21_4_1/code/parse/ |
H A D | sexp.cpp | 9608 int test_argument_nodes_for_condition(int n, int condition_node, int *num_true, int *num_false, int… in test_argument_nodes_for_condition() 9690 …ment_vector, bool already_dupped, int condition_node, int *num_true, int *num_false, int *num_know… in test_argument_vector_for_condition() 9778 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_any_of() local 9799 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_every_of() local 9821 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false, threshold; in eval_number_of() local 10004 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_for_counter() local 10069 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_for_ship_collection() local 10150 int num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_for_players() local 10190 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false, threshold; in eval_first_of() local
|
/dports/games/diaspora/Diaspora_R1_Linux/Diaspora/fs2_open/code/parse/ |
H A D | sexp.cpp | 8447 int test_argument_nodes_for_condition(int n, int condition_node, int *num_true, int *num_false, int… in test_argument_nodes_for_condition() 8522 …ment_vector, bool already_dupped, int condition_node, int *num_true, int *num_false, int *num_know… in test_argument_vector_for_condition() 8605 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_any_of() local 8628 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_every_of() local 8651 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false, threshold; in eval_number_of() local 8826 int n, num_valid_arguments, num_true, num_false, num_known_true, num_known_false; in eval_for_counter() local
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | pb_solver.cpp | 85 unsigned true_val = 0, slack = 0, num_false = 0; in simplify() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
H A D | ba_solver.cpp | 87 unsigned true_val = 0, slack = 0, num_false = 0; in simplify() local
|
/dports/ports-mgmt/pkg/pkg-1.17.5/external/picosat/ |
H A D | picosat.c | 2282 unsigned num_true, num_undef, num_false, size, count_resolved; in add_simplified_clause() local
|
/dports/math/spot/spot-2.10.2/picosat/ |
H A D | picosat.c | 2282 unsigned num_true, num_undef, num_false, size, count_resolved; in add_simplified_clause() local
|
/dports/math/py-pycosat/pycosat-0.6.3/ |
H A D | picosat.c | 2282 unsigned num_true, num_undef, num_false, size, count_resolved; in add_simplified_clause() local
|
/dports/math/py-spot/spot-2.10.2/picosat/ |
H A D | picosat.c | 2282 unsigned num_true, num_undef, num_false, size, count_resolved; in add_simplified_clause() local
|