/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 …]
|