| /dports/lang/yap/yap-6.2.2/packages/jpl/src/java/jpl/ |
| H A D | JRef.java | 194 protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) { in getSubst() method in JRef
|
| H A D | Float.java | 293 protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) { in getSubst() method in Float
|
| H A D | Integer.java | 290 protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) { in getSubst() method in Integer
|
| H A D | Term.java | 704 protected abstract void getSubst(Map varnames_to_Terms, Map vars_to_Vars); in getSubst() method in Term
717 args[i].getSubst(varnames_to_Terms, vars_to_Vars); in getSubsts()
|
| H A D | Query.java | 453 args[args.length - 1].getSubst(varnames_to_Terms1, vars_to_Vars1); in get2WithNameVars()
458 args[i].getSubst(varnames_to_Terms2, vars_to_Vars2); in get2WithNameVars()
|
| H A D | Variable.java | 284 protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) { in getSubst() method in Variable
|
| H A D | Compound.java | 409 protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) { in getSubst() method in Compound
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/jpl/src/main/java/org/jpl7/ |
| H A D | Variable.java | 155 …protected final void getSubst(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_V… in getSubst() method in Variable
|
| H A D | Query.java | 583 BindingVarTerm.getSubst(varNames_to_Terms1, aux_vars_to_Vars1); in getSolutionWithVarNames()
594 args[i].getSubst(varnames_to_Terms2, vars_to_Vars2); in getSolutionWithVarNames()
|
| H A D | Compound.java | 192 …protected final void getSubst(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_V… in getSubst() method in Compound
|
| H A D | Term.java | 813 protected void getSubst(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_Vars) { in getSubst() method in Term
830 args[i].getSubst(varnames_to_Terms, vars_to_Vars); in getSubsts()
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Unify.hs | 966 do { subst <- getSubst env
1367 getSubst :: UMEnv -> UM TCvSubst
1368 getSubst env = do { tv_env <- getTvSubstEnv function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | Unify.hs | 966 do { subst <- getSubst env
1289 getSubst :: UMEnv -> UM TCvSubst
1290 getSubst env = do { tv_env <- getTvSubstEnv function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Unify.hs | 966 do { subst <- getSubst env
1289 getSubst :: UMEnv -> UM TCvSubst
1290 getSubst env = do { tv_env <- getTvSubstEnv function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | Monad.hs | 567 do su <- getSubst
582 getSubst :: InferM Subst
583 getSubst = IM $ fmap iSubst get function
|
| H A D | Infer.hs | 861 totSu <- getSubst
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Unify.hs | 1084 do { subst <- getSubst env
1427 getSubst :: UMEnv -> UM TCvSubst
1428 getSubst env = do { tv_env <- getTvSubstEnv function
|
| /dports/lang/maude/ |
| H A D | full-maude.maude | 391 op getSubst : UnificationPair -> Substitution .
392 eq getSubst({S1:Substitution, N:Nat}) = S1:Substitution .
3853 else {getSubst(metaVariantUnify(M,T =? T',TL,N,N')) |> T,
3854 getSubst(metaVariantUnify(M,T =? T',TL,N,N')) |> T',
4116 else {getSubst(metaUnify(M,T =? T',N,N')) |> T,
4117 getSubst(metaUnify(M,T =? T',N,N')) |> T',
19720 op p1_ : Tuple{SubstitutionSet, Nat} -> SubstitutionSet to getSubst,
20040 getSubst(getSubstitutions1(M, V, ODS, N)),
20058 getSubst(getSubstitutions1(M, V, ODS, s s N)) ;
20068 getSubst(getSubstitutions1(M, V, ODS, s s N)) ;
[all …]
|