| /dports/math/gecode/gecode-0916a1a/gecode/int/ |
| H A D | reify.hpp | 42 Reify::Reify(void) in Reify() function in Gecode::Reify
45 Reify::Reify(BoolVar x0, ReifyMode rm0) in Reify() function in Gecode::Reify
48 Reify::var(void) const { in var()
52 Reify::var(BoolVar x0) { in var()
56 Reify::mode(void) const { in mode()
68 forceinline Reify
70 return Reify(x,RM_EQV); in eqv()
72 forceinline Reify
74 return Reify(x,RM_IMP); in imp()
76 forceinline Reify
[all …]
|
| H A D | extensional.hpp | 43 extensional(Home home, const IntVarArgs& x, const TupleSet& t, Reify r, in extensional()
55 extensional(Home home, const BoolVarArgs& x, const TupleSet& t, Reify r, in extensional()
|
| H A D | linear-bool.cpp | 126 Reify r, IntPropLevel ipl) { in linear()
141 Reify r, IntPropLevel ipl) { in linear()
157 Reify r, IntPropLevel ipl) { in linear()
175 Reify r, IntPropLevel ipl) { in linear()
|
| H A D | linear-int.cpp | 55 const IntVarArgs& x, IntRelType irt, int c, Reify r, in linear()
84 Reify r, IntPropLevel) { in linear()
128 const IntVarArgs& x, IntRelType irt, IntVar y, Reify r, in linear()
175 Reify r, IntPropLevel) { in linear()
|
| H A D | member.cpp | 59 member(Home home, const IntVarArgs& x, IntVar y, Reify r, in member()
84 member(Home home, const BoolVarArgs& x, BoolVar y, Reify r, in member()
|
| /dports/sysutils/istio/istio-1.6.7/mixer/adapter/stackdriver/contextgraph/ |
| H A D | workload.go | 62 func (wi workloadInstance) Reify(logger adapter.Logger) ([]entity, []edge) { func
167 func (s service) Reify() entity { func
194 func (t trafficAssertion) Reify(logger adapter.Logger) ([]entity, []edge) { func
203 serviceEntity := t.destinationService.Reify()
204 entities, edges := t.source.Reify(logger)
212 destEntities, destEdges := t.destination.Reify(logger)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/ |
| H A D | InternalToAbstract.hs | 15 ( Reify(..)
152 class Reify i where constructor
834 instance Reify i => Reify (Named n i) where
841 instance Reify i => Reify (Arg i) where
1416 instance (Free i, Reify i) => Reify (Abs i) where
1444 instance Reify i => Reify (Dom i) where
1449 instance Reify i => Reify (I.Elim' i) where
1455 instance Reify i => Reify [i] where
1461 instance (Reify i1, Reify i2) => Reify (i1, i2) where
1465 instance (Reify i1, Reify i2, Reify i3) => Reify (i1,i2,i3) where
[all …]
|
| /dports/math/gecode/gecode-0916a1a/test/int/ |
| H A D | dom.cpp | 71 Gecode::Reify r) { in post()
113 Gecode::Reify r) { in post()
146 Gecode::Reify r) { in post()
183 Gecode::Reify r) { in post()
|
| /dports/math/gecode/gecode-0916a1a/test/float/ |
| H A D | rel.cpp | 88 Gecode::Reify r) { in post()
117 Gecode::Reify r) { in post()
156 Gecode::Reify r) { in post()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/wasm/ |
| H A D | wasm-result.cc | 108 Handle<Object> ErrorThrower::Reify() { in Reify() function in v8::internal::wasm::ErrorThrower
154 isolate_->Throw(*Reify()); in ~ErrorThrower()
169 isolate()->ScheduleThrow(*Reify()); in ~ScheduledErrorThrower()
|
| /dports/lang/v8/v8-9.6.180.12/src/wasm/ |
| H A D | wasm-result.cc | 109 Handle<Object> ErrorThrower::Reify() { in Reify() function in v8::internal::wasm::ErrorThrower
155 isolate_->Throw(*Reify()); in ~ErrorThrower()
170 isolate()->ScheduleThrow(*Reify()); in ~ScheduledErrorThrower()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/wasm/ |
| H A D | wasm-result.cc | 108 Handle<Object> ErrorThrower::Reify() { in Reify() function in v8::internal::wasm::ErrorThrower
154 isolate_->Throw(*Reify()); in ~ErrorThrower()
169 isolate()->ScheduleThrow(*Reify()); in ~ScheduledErrorThrower()
|
| /dports/math/gecode/gecode-0916a1a/gecode/float/ |
| H A D | linear.cpp | 55 const FloatVarArgs& x, FloatRelType frt, FloatVal c, Reify r) { in linear()
85 FloatVal c, Reify r) { in linear()
130 const FloatVarArgs& x, FloatRelType frt, FloatVar y, Reify r) { in linear()
178 FloatVar y, Reify r) { in linear()
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/ |
| H A D | int.cpp | 108 void remin(Home home, SetVar s, IntVar m, Reify r) { in remin()
120 void remax(Home home, SetVar s, IntVar m, Reify r) { in remax()
136 rel(Home home, SetVar s, IntRelType rt, IntVar x, Reify r) { in rel()
241 min(Home home, SetVar s, IntVar x, Reify r) { in min()
273 max(Home home, SetVar s, IntVar x, Reify r) { in max()
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/devel/hs-mueval/mueval-0.9.3/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/syb-0.7.1/tests/ |
| H A D | Main.hs | 28 import qualified Reify
65 , Reify.tests
|
| /dports/math/gecode/gecode-0916a1a/test/set/ |
| H A D | int.cpp | 83 Reify r) { in post()
106 Reify r) { in post()
148 Reify r) { in post()
192 Reify r) { in post()
273 Reify r) { in post()
352 Reify r) { in post()
|
| /dports/math/gecode/gecode-0916a1a/gecode/ |
| H A D | set.hh | 699 dom(Home home, SetVar x, SetRelType rt, int i, Reify r);
702 dom(Home home, SetVar x, SetRelType rt, int i, int j, Reify r);
705 dom(Home home, SetVar x, SetRelType rt, const IntSet& s, Reify r);
726 rel(Home home, SetVar x, SetRelType rt, SetVar y, Reify r);
735 rel(Home home, SetVar s, SetRelType rt, IntVar x, Reify r);
738 rel(Home home, IntVar x, SetRelType rt, SetVar s, Reify r);
747 rel(Home home, SetVar s, IntRelType rt, IntVar x, Reify r);
750 rel(Home home, IntVar x, IntRelType rt, SetVar s, Reify r);
869 min(Home home, SetVar s, IntVar x, Reify r);
884 max(Home home, SetVar s, IntVar x, Reify r);
[all …]
|
| H A D | int.hh | 876 class Reify { class
884 Reify(void);
901 Reify eqv(BoolVar x);
907 Reify imp(BoolVar x);
913 Reify pmi(BoolVar x);
2608 Reify r,
2669 Reify r,
2955 IntRelType irt, int c, Reify r,
2992 IntRelType irt, int c, Reify r,
3042 IntRelType irt, int c, Reify r,
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/syb-0.7.2.1/tests/ |
| H A D | Main.hs | 29 import qualified Reify
65 , testCase "Reify" Reify.tests
|