Home
last modified time | relevance | path

Searched refs:PBOp (Results 1 – 11 of 11) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dtab.tries.insts.i413 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 Dor.insts.i18 PBOp(getwork_first_time,e)
46 PBOp(getwork,Otapl)
98 PBOp(getwork_seq,Otapl)
113 PBOp(sync,Otapl)
H A Dtab.insts.i296 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 Dabsmi.h483 #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 DSymbolic.hs37 , 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 DData.hs50 , Op(..), PBOp(..), FPOp(..), StrOp(..), SeqOp(..), RegExp(..), NamedSymVar(..), getTableIndex
H A DModel.hs1212 liftPB :: String -> PBOp -> [SBool] -> SBool
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/
H A DSMTLib2.hs1234 handlePB :: PBOp -> [String] -> String
1243 reducePB :: PBOp -> [String] -> String
/dports/lang/yap/yap-6.2.2/misc/
H A Dbuildops133 check_op("PBOp").
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Compilers/
H A DC.hs607 handlePB :: PBOp -> [Doc] -> Doc
/dports/lang/yap/yap-6.2.2/C/
H A Dabsmi.c1886 PBOp(op_fail, e);