Home
last modified time | relevance | path

Searched refs:freeVariables (Results 1 – 25 of 315) sorted by relevance

12345678910>>...13

/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeRemainder.cc77 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 DfreeRemainder.hh90 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 Drank.h66 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 Drank.h66 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 DClosure.h54 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs52 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 DHarness.hs51 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)))

12345678910>>...13