_alloc_site | com.cliffc.aa.tvar.TV2 | |
_args | com.cliffc.aa.tvar.TV2 | |
_cycle_equals(TV2 that) | com.cliffc.aa.tvar.TV2 | package |
_deps | com.cliffc.aa.tvar.TV2 | |
_eq(TV2 that) | com.cliffc.aa.tvar.TV2 | private |
_find_tvar(Type t, TV2 tv, Type rez) | com.cliffc.aa.tvar.TV2 | private |
_fresh_unify(TV2 that, TV2[] vs, boolean test) | com.cliffc.aa.tvar.TV2 | private |
_name | com.cliffc.aa.tvar.TV2 | private |
_ns | com.cliffc.aa.tvar.TV2 | |
_occurs_in(TV2[] vs) | com.cliffc.aa.tvar.TV2 | package |
_occurs_in_type(TV2 x) | com.cliffc.aa.tvar.TV2 | package |
_push_update(CallEpiNode dep) | com.cliffc.aa.tvar.TV2 | private |
_rename(TV2 tv, HashMap< Node, Node > map) | com.cliffc.aa.tvar.TV2 | private |
_type | com.cliffc.aa.tvar.TV2 | |
_uid | com.cliffc.aa.tvar.TV2 | |
_unified | com.cliffc.aa.tvar.TV2 | private |
_unify(TV2 that, boolean test) | com.cliffc.aa.tvar.TV2 | private |
_union(TV2 that) | com.cliffc.aa.tvar.TV2 | private |
ALLOCS | com.cliffc.aa.tvar.TV2 | privatestatic |
args_put(Comparable key, TV2 tv) | com.cliffc.aa.tvar.TV2 | |
CDUPS | com.cliffc.aa.tvar.TV2 | privatestatic |
cycle_equals(TV2 that) | com.cliffc.aa.tvar.TV2 | package |
DEAD | com.cliffc.aa.tvar.TV2 | static |
DEPS_VISIT | com.cliffc.aa.tvar.TV2 | packagestatic |
DUPS | com.cliffc.aa.tvar.TV2 | privatestatic |
eq(TV2 that) | com.cliffc.aa.tvar.TV2 | |
eq(Node[] args) | com.cliffc.aa.tvar.TV2 | |
find() | com.cliffc.aa.tvar.TV2 | |
find_dups(VBitSet bs, NonBlockingHashMapLong< String > dups, int scnt) | com.cliffc.aa.tvar.TV2 | |
find_tvar(Type t, TV2 tv) | com.cliffc.aa.tvar.TV2 | |
free() | com.cliffc.aa.tvar.TV2 | |
fresh_base(TV2 that, boolean test) | com.cliffc.aa.tvar.TV2 | private |
fresh_unify(TV2 that, TV2[] vs, boolean test) | com.cliffc.aa.tvar.TV2 | |
get(Comparable key) | com.cliffc.aa.tvar.TV2 | |
get(TV2[] vs, int i) | com.cliffc.aa.tvar.TV2 | static |
get_unified() | com.cliffc.aa.tvar.TV2 | |
is_base() | com.cliffc.aa.tvar.TV2 | |
is_dead() | com.cliffc.aa.tvar.TV2 | |
is_err() | com.cliffc.aa.tvar.TV2 | |
is_free() | com.cliffc.aa.tvar.TV2 | |
is_leaf() | com.cliffc.aa.tvar.TV2 | |
is_nil() | com.cliffc.aa.tvar.TV2 | |
is_prim() | com.cliffc.aa.tvar.TV2 | package |
is_tvar() | com.cliffc.aa.tvar.TV2 | |
is_unified() | com.cliffc.aa.tvar.TV2 | |
isa(String s) | com.cliffc.aa.tvar.TV2 | |
make(@NotNull String name, Node n, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make(@NotNull String name, Node n, @NotNull String alloc_site, NonBlockingHashMap< Comparable, TV2 > args) | com.cliffc.aa.tvar.TV2 | static |
make(@NotNull String name, Node n, @NotNull String alloc_site, Node... ntvs) | com.cliffc.aa.tvar.TV2 | static |
make(@NotNull String name, UQNodes ns, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make_base(Node n, Type type, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make_err(Node n, String msg, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make_leaf(Node n, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make_leaf_ns(UQNodes ns, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
make_mem(Node n, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | static |
merge_deps(TV2 that) | com.cliffc.aa.tvar.TV2 | private |
merge_ns(TV2 that) | com.cliffc.aa.tvar.TV2 | private |
name() | com.cliffc.aa.tvar.TV2 | |
NIL | com.cliffc.aa.tvar.TV2 | static |
occurs_in(TV2[] vs) | com.cliffc.aa.tvar.TV2 | package |
ODUPS | com.cliffc.aa.tvar.TV2 | privatestatic |
push_dep(CallEpiNode dep) | com.cliffc.aa.tvar.TV2 | |
repl(TV2[] vs) | com.cliffc.aa.tvar.TV2 | private |
repl_rename(TV2[]vs, HashMap< Node, Node > map) | com.cliffc.aa.tvar.TV2 | |
reset(Node n) | com.cliffc.aa.tvar.TV2 | |
reset_at(Object o) | com.cliffc.aa.tvar.TV2 | |
reset_to_init0() | com.cliffc.aa.tvar.TV2 | static |
str(int d) | com.cliffc.aa.tvar.TV2 | |
str(SB sb, VBitSet bs, NonBlockingHashMapLong< String > dups, boolean debug, int d, int max) | com.cliffc.aa.tvar.TV2 | |
toString() | com.cliffc.aa.tvar.TV2 | |
TV2(@NotNull String name, NonBlockingHashMap< Comparable, TV2 > args, Type type, UQNodes ns, @NotNull String alloc_site) | com.cliffc.aa.tvar.TV2 | private |
UID | com.cliffc.aa.tvar.TV2 | privatestatic |
unify(TV2 that, boolean test) | com.cliffc.aa.tvar.TV2 | |
unify_alias(BitsAlias aliases, TV2 mem, boolean test) | com.cliffc.aa.tvar.TV2 | |
unify_alias_fld(Node ldst, BitsAlias aliases, String fld, TV2 tv, boolean test, String alloc_site) | com.cliffc.aa.tvar.TV2 | |
unify_at(Comparable key, TV2 tv2, boolean test) | com.cliffc.aa.tvar.TV2 | |
unify_base(TV2 that) | com.cliffc.aa.tvar.TV2 | private |
union(TV2 that) | com.cliffc.aa.tvar.TV2 | |
union_err(TV2 that, String msg) | com.cliffc.aa.tvar.TV2 | private |
VARS | com.cliffc.aa.tvar.TV2 | privatestatic |
vput(TV2 that, boolean progress) | com.cliffc.aa.tvar.TV2 | private |
vput(TV2 that) | com.cliffc.aa.tvar.TV2 | private |