com.cyc.cycjava.cycl
Class graph_utilities

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.graph_utilities

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class graph_utilities
extends SubLTranslatedFile

Nested Class Summary

static class	graph_utilities.$extract_link_nodes_int$UnaryFunction
static class	graph_utilities.$length_first$UnaryFunction

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw29$TEST
static SubLSymbol	$kw30$OWNER
static SubLSymbol	$kw31$CLASSES
static SubLSymbol	$kw32$KB
static SubLSymbol	$kw33$TINY
static SubLSymbol	$kw34$WORKING_
static SubLSymbol	$kw39$SUCCESS
static SubLSymbol	$kw8$ALLOW_OTHER_KEYS
static SubLSymbol	$kw9$TESTFN
static SubLList	$list0
static SubLList	$list10
static SubLList	$list16
static SubLList	$list2
static SubLList	$list35
static SubLList	$list37
static SubLList	$list41
static SubLList	$list43
static SubLList	$list47
static SubLList	$list51
static SubLList	$list53
static SubLList	$list55
static SubLList	$list6
static SubLList	$list7
static SubLString	$str36$The_expected_map_size__A_differs_
static SubLString	$str38$Expected_rank_estimate__A_for__A_
static SubLString	$str44$Expected__A_leafs__got__A_leafs_i
static SubLString	$str45$The_expected_leaf_set__A_differs_
static SubLString	$str48$Expected__A_roots__got__A_roots_i
static SubLString	$str49$The_expected_roots_set__A_differs
static SubLString	$str54$_A_is_not_of_the_expected_size__A
static SubLString	$str56$_A_does_not_contain_the_expected_
static SubLString	$str57$The_superiors_for_node__A_are__A_
static SubLString	$str58$The_superior_for_node__A_is__A__n
static SubLSymbol	$sym1$EXTRACT_LINK_NODES_INT
static SubLSymbol	$sym11$SEEN
static SubLSymbol	$sym12$TODO
static SubLSymbol	$sym13$CHILD
static SubLSymbol	$sym14$CLET
static SubLSymbol	$sym15$NEW_SET
static SubLSymbol	$sym17$ENQUEUE
static SubLSymbol	$sym18$SET_ADD
static SubLSymbol	$sym19$WHILE
static SubLSymbol	$sym20$CNOT
static SubLSymbol	$sym21$QUEUE_EMPTY_P
static SubLSymbol	$sym22$CSETQ
static SubLSymbol	$sym23$DEQUEUE
static SubLSymbol	$sym24$PROGN
static SubLSymbol	$sym25$CDOLIST
static SubLSymbol	$sym26$PUNLESS
static SubLSymbol	$sym27$SET_MEMBER_
static SubLSymbol	$sym28$TEST_COMPUTE_GRAPH_RANK_ESTIMATE
static SubLSymbol	$sym3$CAAR
static SubLSymbol	$sym4$_
static SubLSymbol	$sym40$MAP_P
static SubLSymbol	$sym42$TEST_DAG_IDENTIFY_LEAFS
static SubLSymbol	$sym46$TEST_DAG_IDENTIFY_ROOTS
static SubLSymbol	$sym5$LENGTH_FIRST
static SubLSymbol	$sym50$CONSP
static SubLSymbol	$sym52$TEST_DAG_ELIDE_FROM_GRAPH
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	categorize_nodes_via_links(SubLObject nodes, SubLObject links, SubLObject test) Given a list of NODES, and a list of LINKS which relate these nodes, categorize the nodes into island-groups, where each group consists of a list of connected nodes, and a list of links involving these nodes.
static SubLObject	declare_graph_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	extract_island_groups(SubLObject nodes, SubLObject candidate_island_groups, SubLObject test) Extract a subset of CANDIDATE-ISLAND-GROUPS whose nodes intersect NODES.
static SubLObject	extract_link_nodes_int(SubLObject object)
static SubLObject	extract_link_nodes(SubLObject link, SubLObject candidate_nodes, SubLObject test) Extract a subset of CANDIDATE-NODES mentioned in LINK.
static SubLObject	init_graph_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	island_group_for_node(SubLObject node, SubLObject island_groups, SubLObject test) Return the associated island-group for NODE from ISLAND-GROUPS.
static SubLObject	length_first(SubLObject object)
static SubLObject	merge_island_groups(SubLObject island_groups) Merge every island-group in ISLAND-GROUPS into a single resulting group.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_graph_utilities_file()
static SubLObject	sort_connected_groups(SubLObject connected_groups, SubLObject all_nodes, SubLObject all_links, SubLObject test) Sort CONNECTED-GROUPS based on ALL-NODES and ALL-LNIKS.
static SubLObject	sort_isolated_groups(SubLObject isolated_groups, SubLObject all_nodes, SubLObject all_links, SubLObject test) Sort ISOLATED-GROUPS based on ALL-NODES and ALL-LNIKS.
static SubLObject	sort_naked_groups(SubLObject naked_groups, SubLObject all_nodes, SubLObject test) Sort NAKED-GROUPS based on ALL-NODES.

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$list0

public static final SubLList $list0

$sym1$EXTRACT_LINK_NODES_INT

public static final SubLSymbol $sym1$EXTRACT_LINK_NODES_INT

$list2

public static final SubLList $list2

$sym3$CAAR

public static final SubLSymbol $sym3$CAAR

$sym4$_

public static final SubLSymbol $sym4$_

$sym5$LENGTH_FIRST

public static final SubLSymbol $sym5$LENGTH_FIRST

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$kw8$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw8$ALLOW_OTHER_KEYS

$kw9$TESTFN

public static final SubLSymbol $kw9$TESTFN

$list10

public static final SubLList $list10

$sym11$SEEN

public static final SubLSymbol $sym11$SEEN

$sym12$TODO

public static final SubLSymbol $sym12$TODO

$sym13$CHILD

public static final SubLSymbol $sym13$CHILD

$sym14$CLET

public static final SubLSymbol $sym14$CLET

$sym15$NEW_SET

public static final SubLSymbol $sym15$NEW_SET

$list16

public static final SubLList $list16

$sym17$ENQUEUE

public static final SubLSymbol $sym17$ENQUEUE

$sym18$SET_ADD

public static final SubLSymbol $sym18$SET_ADD

$sym19$WHILE

public static final SubLSymbol $sym19$WHILE

$sym20$CNOT

public static final SubLSymbol $sym20$CNOT

$sym21$QUEUE_EMPTY_P

public static final SubLSymbol $sym21$QUEUE_EMPTY_P

$sym22$CSETQ

public static final SubLSymbol $sym22$CSETQ

$sym23$DEQUEUE

public static final SubLSymbol $sym23$DEQUEUE

$sym24$PROGN

public static final SubLSymbol $sym24$PROGN

$sym25$CDOLIST

public static final SubLSymbol $sym25$CDOLIST

$sym26$PUNLESS

public static final SubLSymbol $sym26$PUNLESS

$sym27$SET_MEMBER_

public static final SubLSymbol $sym27$SET_MEMBER_

$sym28$TEST_COMPUTE_GRAPH_RANK_ESTIMATE

public static final SubLSymbol $sym28$TEST_COMPUTE_GRAPH_RANK_ESTIMATE

$kw29$TEST

public static final SubLSymbol $kw29$TEST

$kw30$OWNER

public static final SubLSymbol $kw30$OWNER

$kw31$CLASSES

public static final SubLSymbol $kw31$CLASSES

$kw32$KB

public static final SubLSymbol $kw32$KB

$kw33$TINY

public static final SubLSymbol $kw33$TINY

$kw34$WORKING_

public static final SubLSymbol $kw34$WORKING_

$list35

public static final SubLList $list35

$str36$The_expected_map_size__A_differs_

public static final SubLString $str36$The_expected_map_size__A_differs_

$list37

public static final SubLList $list37

$str38$Expected_rank_estimate__A_for__A_

public static final SubLString $str38$Expected_rank_estimate__A_for__A_

$kw39$SUCCESS

public static final SubLSymbol $kw39$SUCCESS

$sym40$MAP_P

public static final SubLSymbol $sym40$MAP_P

$list41

public static final SubLList $list41

$sym42$TEST_DAG_IDENTIFY_LEAFS

public static final SubLSymbol $sym42$TEST_DAG_IDENTIFY_LEAFS

$list43

public static final SubLList $list43

$str44$Expected__A_leafs__got__A_leafs_i

public static final SubLString $str44$Expected__A_leafs__got__A_leafs_i

$str45$The_expected_leaf_set__A_differs_

public static final SubLString $str45$The_expected_leaf_set__A_differs_

$sym46$TEST_DAG_IDENTIFY_ROOTS

public static final SubLSymbol $sym46$TEST_DAG_IDENTIFY_ROOTS

$list47

public static final SubLList $list47

$str48$Expected__A_roots__got__A_roots_i

public static final SubLString $str48$Expected__A_roots__got__A_roots_i

$str49$The_expected_roots_set__A_differs

public static final SubLString $str49$The_expected_roots_set__A_differs

$sym50$CONSP

public static final SubLSymbol $sym50$CONSP

$list51

public static final SubLList $list51

$sym52$TEST_DAG_ELIDE_FROM_GRAPH

public static final SubLSymbol $sym52$TEST_DAG_ELIDE_FROM_GRAPH

$list53

public static final SubLList $list53

$str54$_A_is_not_of_the_expected_size__A

public static final SubLString $str54$_A_is_not_of_the_expected_size__A

$list55

public static final SubLList $list55

$str56$_A_does_not_contain_the_expected_

public static final SubLString $str56$_A_does_not_contain_the_expected_

$str57$The_superiors_for_node__A_are__A_

public static final SubLString $str57$The_superiors_for_node__A_are__A_

$str58$The_superior_for_node__A_is__A__n

public static final SubLString $str58$The_superior_for_node__A_is__A__n

Method Detail

categorize_nodes_via_links

public static final SubLObject categorize_nodes_via_links(SubLObject nodes,
                                                          SubLObject links,
                                                          SubLObject test)

Given a list of NODES, and a list of LINKS which relate these nodes, categorize the nodes into island-groups, where each group consists of a list of connected nodes, and a list of links involving these nodes. Returns 3 values : CONNECTED-GROUPS -- list of island groups with multiple nodes. ISOLATED-GROUPS -- list of island groups with single nodes and some links. NAKED-GROUPS -- list of island groups with single nodes and no links.

extract_link_nodes

public static final SubLObject extract_link_nodes(SubLObject link,
                                                  SubLObject candidate_nodes,
                                                  SubLObject test)

Extract a subset of CANDIDATE-NODES mentioned in LINK.

extract_link_nodes_int

public static final SubLObject extract_link_nodes_int(SubLObject object)

extract_island_groups

public static final SubLObject extract_island_groups(SubLObject nodes,
                                                     SubLObject candidate_island_groups,
                                                     SubLObject test)

Extract a subset of CANDIDATE-ISLAND-GROUPS whose nodes intersect NODES.

island_group_for_node

public static final SubLObject island_group_for_node(SubLObject node,
                                                     SubLObject island_groups,
                                                     SubLObject test)

Return the associated island-group for NODE from ISLAND-GROUPS.

merge_island_groups

public static final SubLObject merge_island_groups(SubLObject island_groups)

Merge every island-group in ISLAND-GROUPS into a single resulting group.

sort_connected_groups

public static final SubLObject sort_connected_groups(SubLObject connected_groups,
                                                     SubLObject all_nodes,
                                                     SubLObject all_links,
                                                     SubLObject test)

Sort CONNECTED-GROUPS based on ALL-NODES and ALL-LNIKS.

length_first

public static final SubLObject length_first(SubLObject object)

sort_isolated_groups

public static final SubLObject sort_isolated_groups(SubLObject isolated_groups,
                                                    SubLObject all_nodes,
                                                    SubLObject all_links,
                                                    SubLObject test)

Sort ISOLATED-GROUPS based on ALL-NODES and ALL-LNIKS.

sort_naked_groups

public static final SubLObject sort_naked_groups(SubLObject naked_groups,
                                                 SubLObject all_nodes,
                                                 SubLObject test)

Sort NAKED-GROUPS based on ALL-NODES.

declare_graph_utilities_file

public static final SubLObject declare_graph_utilities_file()

init_graph_utilities_file

public static final SubLObject init_graph_utilities_file()

setup_graph_utilities_file

public static final SubLObject setup_graph_utilities_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.