/dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
H A D | freeRemainder.cc | 77 freeVariables(freeVars.size()), in FreeRemainder() 101 freeVariables[i].argIndex = oc.argIndex(); in FreeRemainder() 102 freeVariables[i].varIndex = v->getIndex(); in FreeRemainder() 114 freeVariables[i].sort = sort; in FreeRemainder() 132 int j = freeVariables.length(); in FreeRemainder() 133 freeVariables.expandTo(j + 1); in FreeRemainder() 135 freeVariables[j].argIndex = oc.argIndex(); in FreeRemainder() 136 freeVariables[j].varIndex = index; in FreeRemainder() 231 if (!freeVariables.isNull()) in slowMatchReplace2() 366 if (!freeVariables.isNull()) in slowCheckAndBind() [all …]
|
H A D | freeRemainder.hh | 90 Vector<FreeVariable> freeVariables; member in FreeRemainder 115 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in fastMatchReplace() 125 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in fastMatchReplace() 164 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in fastCheckAndBind() 178 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in fastCheckAndBind() 207 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in generalCheckAndBind() 220 FOR_EACH_CONST(i, Vector<FreeVariable>, freeVariables) in generalCheckAndBind()
|
/dports/math/polymake/polymake-4.5/bundled/sympol/external/sympol/sympol/matrix/ |
H A D | rank.h | 66 std::list<uint> freeVariables; in rank() local 67 rowReducedEchelonForm(true, std::inserter(freeVariables, freeVariables.end())); in rank() 68 return std::min(m_matrix->cols(), m_matrix->rows()) - freeVariables.size(); in rank() 79 std::set<uint> freeVariables; in kernel() local 80 rowReducedEchelonForm(false, std::inserter(freeVariables, freeVariables.end())); in kernel() 81 if (freeVariables.size() == 0) in kernel() 84 Matrix* kern = new Matrix(m_matrix->cols(), freeVariables.size()); in kernel() 88 BOOST_FOREACH(const uint& f, freeVariables) { in kernel() 92 if (freeVariables.count(k) == 0) { in kernel()
|
/dports/math/sympol/SymPol-0.1.9/sympol/matrix/ |
H A D | rank.h | 66 std::list<uint> freeVariables; in rank() local 67 rowReducedEchelonForm(true, std::inserter(freeVariables, freeVariables.end())); in rank() 68 return std::min(m_matrix->cols(), m_matrix->rows()) - freeVariables.size(); in rank() 79 std::set<uint> freeVariables; in kernel() local 80 rowReducedEchelonForm(false, std::inserter(freeVariables, freeVariables.end())); in kernel() 81 if (freeVariables.size() == 0) in kernel() 84 Matrix* kern = new Matrix(m_matrix->cols(), freeVariables.size()); in kernel() 88 BOOST_FOREACH(const uint& f, freeVariables) { in kernel() 92 if (freeVariables.count(k) == 0) { in kernel()
|
/dports/lang/mosh/mosh-0.2.7/src/ |
H A D | Closure.h | 54 freeVariables = Object::makeObjectArray(freeVariablesNum); in Closure() 56 this->freeVariables[i] = freeVars[freeVariablesNum - i - 1]; in Closure() 73 return freeVariables[n]; in referFree() 83 Object* freeVariables; variable
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/th-abstraction-0.4.3.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/th-abstraction-0.4.0.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/th-abstraction-0.4.2.0/test/ |
H A D | Harness.hs | 52 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 53 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 84 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 85 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 86 sub2 = Map.fromList (zip (freeVariables con2) 87 (map VarT (freeVariables con1)))
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/th-abstraction-0.3.2.0/test/ |
H A D | Harness.hs | 51 let sub = Map.fromList (zip (freeVariables (bndrParams (datatypeVars dat2))) 52 (map VarT (freeVariables (bndrParams (datatypeVars dat1))))) 83 let sub1 = Map.fromList (zip (freeVariables (bndrParams (constructorVars con2))) 84 (map VarT (freeVariables (bndrParams (constructorVars con1))))) 85 sub2 = Map.fromList (zip (freeVariables con2) 86 (map VarT (freeVariables con1)))
|