com.cyc.cycjava.cycl
Class ghl_search_vars
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.ghl_search_vars
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class ghl_search_vars
- extends SubLTranslatedFile
| 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 |
_csetf_ghl_search_graphl_search(SubLObject object,
SubLObject value)
|
static SubLObject |
_csetf_ghl_search_predicates(SubLObject object,
SubLObject value)
|
static SubLObject |
_csetf_ghl_search_tv(SubLObject object,
SubLObject value)
|
static SubLObject |
declare_ghl_search_vars_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
destroy_ghl_search(SubLObject graph_search)
|
static SubLObject |
ghl_add_to_result(SubLObject v_search,
SubLObject addition,
SubLObject test)
|
static SubLObject |
ghl_compute_justifyP(SubLObject v_search)
|
static SubLObject |
ghl_depth_first_search_p(SubLObject v_search)
|
static SubLObject |
ghl_direction_for_predicate_relation(SubLObject pred)
Direction to search when determining the predicate relation (PRED A B). |
static SubLObject |
ghl_direction(SubLObject v_search)
|
static SubLObject |
ghl_forward_direction_p(SubLObject direction)
|
static SubLObject |
ghl_goal_fn(SubLObject v_search)
|
static SubLObject |
ghl_goal(SubLObject v_search)
|
static SubLObject |
ghl_graphl_search(SubLObject v_search)
|
static SubLObject |
ghl_relevant_predicates(SubLObject v_search)
|
static SubLObject |
ghl_result(SubLObject v_search)
|
static SubLObject |
ghl_search_graphl_search(SubLObject object)
|
static SubLObject |
ghl_search_predicates(SubLObject object)
|
static SubLObject |
ghl_search_property_default(SubLObject property)
|
static SubLObject |
ghl_search_tv(SubLObject object)
|
static SubLObject |
ghl_set_result(SubLObject v_search,
SubLObject result)
|
static SubLObject |
ghl_space(SubLObject v_search)
|
static SubLObject |
ghl_tv(SubLObject v_search)
|
static SubLObject |
ghl_uses_spec_preds_p()
|
static SubLObject |
gt_args_swapped_p()
|
static SubLObject |
init_ghl_search_vars_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
make_ghl_search(SubLObject arglist)
|
static SubLObject |
new_ghl_search(SubLObject plist)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
set_ghl_goal_found_p(SubLObject v_search,
SubLObject found_p)
|
static SubLObject |
set_ghl_graphl_search(SubLObject v_search,
SubLObject graphl_search)
|
static SubLObject |
set_ghl_search_predicates(SubLObject v_search,
SubLObject predicates)
|
static SubLObject |
set_ghl_search_properties(SubLObject v_search,
SubLObject plist)
|
static SubLObject |
set_ghl_search_property(SubLObject v_search,
SubLObject property,
SubLObject value)
|
static SubLObject |
set_ghl_search_result(SubLObject v_search,
SubLObject result)
|
static SubLObject |
set_ghl_search_tv(SubLObject v_search,
SubLObject tv)
|
static SubLObject |
setup_ghl_search_vars_file()
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$dtp_ghl_search$
public static SubLSymbol $dtp_ghl_search$
$sksi_gt_search_pred$
public static SubLSymbol $sksi_gt_search_pred$
$ghl_uses_spec_preds_p$
public static SubLSymbol $ghl_uses_spec_preds_p$
$gt_args_swapped_p$
public static SubLSymbol $gt_args_swapped_p$
$ghl_trace_level$
public static SubLSymbol $ghl_trace_level$
- controls extent of tracing, warnings, etc., for the ghl modules [0 .. 5]
$list0
public static final SubLList $list0
$sym1$GHL_SEARCH
public static final SubLSymbol $sym1$GHL_SEARCH
$sym2$GHL_SEARCH_P
public static final SubLSymbol $sym2$GHL_SEARCH_P
$list3
public static final SubLList $list3
$list4
public static final SubLList $list4
$list5
public static final SubLList $list5
$list6
public static final SubLList $list6
$sym7$PRINT_GHL_SEARCH
public static final SubLSymbol $sym7$PRINT_GHL_SEARCH
$sym8$GHL_SEARCH_PRINT_FUNCTION_TRAMPOLINE
public static final SubLSymbol $sym8$GHL_SEARCH_PRINT_FUNCTION_TRAMPOLINE
$sym9$GHL_SEARCH_GRAPHL_SEARCH
public static final SubLSymbol $sym9$GHL_SEARCH_GRAPHL_SEARCH
$sym10$_CSETF_GHL_SEARCH_GRAPHL_SEARCH
public static final SubLSymbol $sym10$_CSETF_GHL_SEARCH_GRAPHL_SEARCH
$sym11$GHL_SEARCH_PREDICATES
public static final SubLSymbol $sym11$GHL_SEARCH_PREDICATES
$sym12$_CSETF_GHL_SEARCH_PREDICATES
public static final SubLSymbol $sym12$_CSETF_GHL_SEARCH_PREDICATES
$sym13$GHL_SEARCH_TV
public static final SubLSymbol $sym13$GHL_SEARCH_TV
$sym14$_CSETF_GHL_SEARCH_TV
public static final SubLSymbol $sym14$_CSETF_GHL_SEARCH_TV
$kw15$GRAPHL_SEARCH
public static final SubLSymbol $kw15$GRAPHL_SEARCH
$kw16$PREDICATES
public static final SubLSymbol $kw16$PREDICATES
$kw17$TV
public static final SubLSymbol $kw17$TV
$str18$Invalid_slot__S_for_construction_
public static final SubLString $str18$Invalid_slot__S_for_construction_
$str19$__
public static final SubLString $str19$__
$kw20$STREAM
public static final SubLSymbol $kw20$STREAM
$kw21$BASE
public static final SubLSymbol $kw21$BASE
$str22$GHL_Search____a__
public static final SubLString $str22$GHL_Search____a__
$str23$Predicates__a__
public static final SubLString $str23$Predicates__a__
$str24$TV__s__
public static final SubLString $str24$TV__s__
$kw25$FREE
public static final SubLSymbol $kw25$FREE
$kw26$TRANSITIVE_REASONING
public static final SubLSymbol $kw26$TRANSITIVE_REASONING
$kw27$ALL
public static final SubLSymbol $kw27$ALL
$list28
public static final SubLList $list28
$kw29$DIRECTION
public static final SubLSymbol $kw29$DIRECTION
$kw30$TYPE
public static final SubLSymbol $kw30$TYPE
$kw31$ORDER
public static final SubLSymbol $kw31$ORDER
$kw32$CUTOFF
public static final SubLSymbol $kw32$CUTOFF
$kw33$MARKING
public static final SubLSymbol $kw33$MARKING
$kw34$MARKING_SPACE
public static final SubLSymbol $kw34$MARKING_SPACE
$kw35$GOAL
public static final SubLSymbol $kw35$GOAL
$kw36$GOAL_FN
public static final SubLSymbol $kw36$GOAL_FN
$kw37$GOAL_SPACE
public static final SubLSymbol $kw37$GOAL_SPACE
$kw38$SATISFY_FN
public static final SubLSymbol $kw38$SATISFY_FN
$kw39$MAP_FN
public static final SubLSymbol $kw39$MAP_FN
$kw40$JUSTIFY_
public static final SubLSymbol $kw40$JUSTIFY_
$kw41$ADD_TO_RESULT_
public static final SubLSymbol $kw41$ADD_TO_RESULT_
$list42
public static final SubLList $list42
$sym43$CLET
public static final SubLSymbol $sym43$CLET
$sym44$NEW_GHL_SEARCH
public static final SubLSymbol $sym44$NEW_GHL_SEARCH
$list45
public static final SubLList $list45
$sym46$DESTROY_GHL_SEARCH
public static final SubLSymbol $sym46$DESTROY_GHL_SEARCH
$list47
public static final SubLList $list47
$list48
public static final SubLList $list48
$kw49$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw49$ALLOW_OTHER_KEYS
$kw50$DONE_VAR
public static final SubLSymbol $kw50$DONE_VAR
$sym51$DO_GRAPHL_RELEVANT_DIRECTIONS
public static final SubLSymbol $sym51$DO_GRAPHL_RELEVANT_DIRECTIONS
$kw52$FORWARD
public static final SubLSymbol $kw52$FORWARD
$kw53$BACKWARD
public static final SubLSymbol $kw53$BACKWARD
$list54
public static final SubLList $list54
$sym55$_SKSI_GT_SEARCH_PRED_
public static final SubLSymbol $sym55$_SKSI_GT_SEARCH_PRED_
$list56
public static final SubLList $list56
$sym57$PROGN
public static final SubLSymbol $sym57$PROGN
$sym58$CHECK_TYPE
public static final SubLSymbol $sym58$CHECK_TYPE
$list59
public static final SubLList $list59
$sym60$_GHL_USES_SPEC_PREDS_P_
public static final SubLSymbol $sym60$_GHL_USES_SPEC_PREDS_P_
$list61
public static final SubLList $list61
$list62
public static final SubLList $list62
$list63
public static final SubLList $list63
$list64
public static final SubLList $list64
$list65
public static final SubLList $list65
$sym66$_GHL_TRACE_LEVEL_
public static final SubLSymbol $sym66$_GHL_TRACE_LEVEL_
$str67$continue_anyway
public static final SubLString $str67$continue_anyway
ghl_search_property_default
public static final SubLObject ghl_search_property_default(SubLObject property)
ghl_search_graphl_search
public static final SubLObject ghl_search_graphl_search(SubLObject object)
ghl_search_predicates
public static final SubLObject ghl_search_predicates(SubLObject object)
ghl_search_tv
public static final SubLObject ghl_search_tv(SubLObject object)
_csetf_ghl_search_graphl_search
public static final SubLObject _csetf_ghl_search_graphl_search(SubLObject object,
SubLObject value)
_csetf_ghl_search_predicates
public static final SubLObject _csetf_ghl_search_predicates(SubLObject object,
SubLObject value)
_csetf_ghl_search_tv
public static final SubLObject _csetf_ghl_search_tv(SubLObject object,
SubLObject value)
make_ghl_search
public static final SubLObject make_ghl_search(SubLObject arglist)
new_ghl_search
public static final SubLObject new_ghl_search(SubLObject plist)
destroy_ghl_search
public static final SubLObject destroy_ghl_search(SubLObject graph_search)
ghl_graphl_search
public static final SubLObject ghl_graphl_search(SubLObject v_search)
ghl_relevant_predicates
public static final SubLObject ghl_relevant_predicates(SubLObject v_search)
ghl_tv
public static final SubLObject ghl_tv(SubLObject v_search)
ghl_result
public static final SubLObject ghl_result(SubLObject v_search)
ghl_space
public static final SubLObject ghl_space(SubLObject v_search)
ghl_direction
public static final SubLObject ghl_direction(SubLObject v_search)
ghl_compute_justifyP
public static final SubLObject ghl_compute_justifyP(SubLObject v_search)
ghl_goal
public static final SubLObject ghl_goal(SubLObject v_search)
ghl_goal_fn
public static final SubLObject ghl_goal_fn(SubLObject v_search)
ghl_depth_first_search_p
public static final SubLObject ghl_depth_first_search_p(SubLObject v_search)
set_ghl_search_properties
public static final SubLObject set_ghl_search_properties(SubLObject v_search,
SubLObject plist)
set_ghl_search_property
public static final SubLObject set_ghl_search_property(SubLObject v_search,
SubLObject property,
SubLObject value)
set_ghl_graphl_search
public static final SubLObject set_ghl_graphl_search(SubLObject v_search,
SubLObject graphl_search)
set_ghl_search_predicates
public static final SubLObject set_ghl_search_predicates(SubLObject v_search,
SubLObject predicates)
set_ghl_search_tv
public static final SubLObject set_ghl_search_tv(SubLObject v_search,
SubLObject tv)
set_ghl_search_result
public static final SubLObject set_ghl_search_result(SubLObject v_search,
SubLObject result)
set_ghl_goal_found_p
public static final SubLObject set_ghl_goal_found_p(SubLObject v_search,
SubLObject found_p)
ghl_set_result
public static final SubLObject ghl_set_result(SubLObject v_search,
SubLObject result)
ghl_add_to_result
public static final SubLObject ghl_add_to_result(SubLObject v_search,
SubLObject addition,
SubLObject test)
ghl_forward_direction_p
public static final SubLObject ghl_forward_direction_p(SubLObject direction)
ghl_direction_for_predicate_relation
public static final SubLObject ghl_direction_for_predicate_relation(SubLObject pred)
- Direction to search when determining the predicate relation (PRED A B).
:forward corresponds to searching from A to B, e.g. (genls Dog Thing)
:backward corresponds to searching from B to A, (e.g. (geoSubRegion USA Austin)
ghl_uses_spec_preds_p
public static final SubLObject ghl_uses_spec_preds_p()
gt_args_swapped_p
public static final SubLObject gt_args_swapped_p()
declare_ghl_search_vars_file
public static final SubLObject declare_ghl_search_vars_file()
init_ghl_search_vars_file
public static final SubLObject init_ghl_search_vars_file()
setup_ghl_search_vars_file
public static final SubLObject setup_ghl_search_vars_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.