Home
last modified time | relevance | path

Searched refs:BTOR_SLS_MOVE_FLIP (Results 1 – 2 of 2) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorslvsls.h23 BTOR_SLS_MOVE_FLIP = 0, enumerator
H A Dbtorslvsls.c515 mk = BTOR_SLS_MOVE_FLIP; in select_flip_move()
862 assert (mk == BTOR_SLS_MOVE_FLIP); in select_move_aux()
1081 mk = BTOR_SLS_MOVE_FLIP; in select_random_move()
1091 mk = BTOR_SLS_MOVE_FLIP; in select_random_move()
1109 assert (mk == BTOR_SLS_MOVE_FLIP); in select_random_move()
1276 case BTOR_SLS_MOVE_FLIP: in move()