Searched refs:PBOp (Results 1 – 11 of 11) sorted by relevance
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | tab.tries.insts.i | 413 PBOp(trie_do_var, e) 436 PBOp(trie_try_var, e) 523 PBOp(trie_do_val, e) 548 PBOp(trie_try_val, e) 641 PBOp(trie_do_atom, e) 666 PBOp(trie_try_atom, e) 755 PBOp(trie_do_null, e) 774 PBOp(trie_try_null, e) 861 PBOp(trie_do_pair, e) 884 PBOp(trie_try_pair, e) [all …]
|
H A D | or.insts.i | 18 PBOp(getwork_first_time,e) 46 PBOp(getwork,Otapl) 98 PBOp(getwork_seq,Otapl) 113 PBOp(sync,Otapl)
|
H A D | tab.insts.i | 296 PBOp(table_load_answer, Otapl) in PBOp() function 332 PBOp(table_try_answer, Otapl) 395 PBOp(table_try_single, Otapl) 513 PBOp(table_try_me, Otapl) 624 PBOp(table_try, Otapl) 831 PBOp(table_new_answer, s)
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | absmi.h | 483 #define PBOp(Label,Type) Label: { INIT_PREFETCH() macro 507 #define PBOp(Label,Type) case _##Label: { INIT_PREFETCH() macro
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
H A D | Symbolic.hs | 37 , Op(..), PBOp(..), OvOp(..), FPOp(..), NROp(..), StrOp(..), SeqOp(..), SetOp(..) 197 | PseudoBoolean PBOp -- Pseudo-boolean ops, categorized separately 300 data PBOp = PB_AtMost Int -- ^ At most k type
|
H A D | Data.hs | 50 , Op(..), PBOp(..), FPOp(..), StrOp(..), SeqOp(..), RegExp(..), NamedSymVar(..), getTableIndex
|
H A D | Model.hs | 1212 liftPB :: String -> PBOp -> [SBool] -> SBool
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
H A D | SMTLib2.hs | 1234 handlePB :: PBOp -> [String] -> String 1243 reducePB :: PBOp -> [String] -> String
|
/dports/lang/yap/yap-6.2.2/misc/ |
H A D | buildops | 133 check_op("PBOp").
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Compilers/ |
H A D | C.hs | 607 handlePB :: PBOp -> [Doc] -> Doc
|
/dports/lang/yap/yap-6.2.2/C/ |
H A D | absmi.c | 1886 PBOp(op_fail, e);
|