Searched defs:assumptions_size (Results 1 – 2 of 2) sorted by relevance
734 uint32_t assumptions_size = lp_polynomial_vector_size(assumptions); in lp_projection_map_add_mgcd() local
1837 …o_solve_mode_bitset_t mode, clingo_literal_t const *assumptions, size_t assumptions_size, clingo_s… in clingo_control_solve()