Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.inference.harness
Class inference_heuristic_balanced_tactician

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.harness.inference_heuristic_balanced_tactician
All Implemented Interfaces:
CommonSymbols, SubLFile
public final class inference_heuristic_balanced_tactician
extends SubLTranslatedFile

Nested Class Summary
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_removal$BinaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_transformation$BinaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_add_new_root$BinaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_chooses_to_throw_away_new_rootP$BinaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_initialize$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_new_rootsP$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_removalP$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_transformationP$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_new_root$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_removal$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_transformation$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_new_root$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_removal$UnaryFunction
           
static class inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_transformation$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $kw0$HEURISTIC_BALANCED
           
static SubLSymbol $kw20$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw21$TACTIC
           
static SubLSymbol $kw22$DONE
           
static SubLList $list1
           
static SubLList $list17
           
static SubLList $list18
           
static SubLList $list19
           
static SubLString $str32$_S_is_not_a_transformation_strate
           
static SubLSymbol $sym10$HEURISTIC_BALANCED_STRATEGY_P
           
static SubLSymbol $sym11$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL
           
static SubLSymbol $sym12$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_REMOVAL
           
static SubLSymbol $sym13$HEURISTIC_BALANCED_STRATEGY_ADD_NEW_ROOT
           
static SubLSymbol $sym14$HEURISTIC_BALANCED_STRATEGY_POP_NEW_ROOT
           
static SubLSymbol $sym15$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION
           
static SubLSymbol $sym16$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION
           
static SubLSymbol $sym2$HEURISTIC_BALANCED_STRATEGY_INITIALIZE
           
static SubLSymbol $sym23$DO_STRATEGIC_HEURISTICS
           
static SubLSymbol $sym24$PWHEN
           
static SubLSymbol $sym25$HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTIC_
           
static SubLSymbol $sym26$DO_HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTICS
           
static SubLSymbol $sym27$TRANSFORMATION_TACTIC_P
           
static SubLSymbol $sym28$TRANSFORMATION_LINK_P
           
static SubLSymbol $sym29$LOGICAL_TACTIC_P
           
static SubLSymbol $sym3$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_
           
static SubLSymbol $sym30$TACTIC_P
           
static SubLSymbol $sym31$STRATEGEM_P
           
static SubLSymbol $sym4$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL
           
static SubLSymbol $sym5$HEURISTIC_BALANCED_STRATEGY_NO_NEW_ROOTS_
           
static SubLSymbol $sym6$HEURISTIC_BALANCED_STRATEGY_PEEK_NEW_ROOT
           
static SubLSymbol $sym7$HEURISTIC_BALANCED_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_
           
static SubLSymbol $sym8$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATI
           
static SubLSymbol $sym9$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION
           
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 declare_inference_heuristic_balanced_tactician_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject happiness_funcall(SubLObject function, SubLObject strategy, SubLObject tactic)
           
static SubLObject heuristic_balanced_strategy_activate_strategem_wrt_removal(SubLObject strategy, SubLObject removal_strategem)
           
static SubLObject heuristic_balanced_strategy_activate_strategem_wrt_transformation(SubLObject strategy, SubLObject transformation_strategem)
           
static SubLObject heuristic_balanced_strategy_add_new_root(SubLObject strategy, SubLObject problem)
           
static SubLObject heuristic_balanced_strategy_chooses_to_throw_away_new_rootP(SubLObject strategy, SubLObject problem)
           
static SubLObject heuristic_balanced_strategy_generic_tactic_happiness(SubLObject tactic, SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_initialize(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_no_new_rootsP(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_no_strategems_active_wrt_removalP(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_no_strategems_active_wrt_transformationP(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_p(SubLObject object)
           
static SubLObject heuristic_balanced_strategy_peek_new_root(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_peek_strategem_wrt_removal(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_peek_strategem_wrt_transformation(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_pop_new_root(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_pop_strategem_wrt_removal(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_pop_strategem_wrt_transformation(SubLObject strategy)
           
static SubLObject heuristic_balanced_strategy_transformation_link_happiness(SubLObject transformation_link, SubLObject strategy)
          The happiness of introducing a new root problem.
static SubLObject heuristic_balanced_strategy_transformation_strategem_happiness(SubLObject strategy, SubLObject strategem)
           
static SubLObject heuristic_balanced_strategy_transformation_tactic_happiness(SubLObject transformation_tactic, SubLObject strategy)
          The happiness of doing one specific transformation.
static SubLObject heuristic_balanced_tactician_strategic_heuristicP(SubLObject heuristic)
           
static SubLObject init_inference_heuristic_balanced_tactician_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_inference_heuristic_balanced_tactician_file()
           
 
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

$kw0$HEURISTIC_BALANCED

public static final SubLSymbol $kw0$HEURISTIC_BALANCED

$list1

public static final SubLList $list1

$sym2$HEURISTIC_BALANCED_STRATEGY_INITIALIZE

public static final SubLSymbol $sym2$HEURISTIC_BALANCED_STRATEGY_INITIALIZE

$sym3$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_

public static final SubLSymbol $sym3$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_

$sym4$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym4$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL

$sym5$HEURISTIC_BALANCED_STRATEGY_NO_NEW_ROOTS_

public static final SubLSymbol $sym5$HEURISTIC_BALANCED_STRATEGY_NO_NEW_ROOTS_

$sym6$HEURISTIC_BALANCED_STRATEGY_PEEK_NEW_ROOT

public static final SubLSymbol $sym6$HEURISTIC_BALANCED_STRATEGY_PEEK_NEW_ROOT

$sym7$HEURISTIC_BALANCED_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_

public static final SubLSymbol $sym7$HEURISTIC_BALANCED_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_

$sym8$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATI

public static final SubLSymbol $sym8$HEURISTIC_BALANCED_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATI

$sym9$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym9$HEURISTIC_BALANCED_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION

$sym10$HEURISTIC_BALANCED_STRATEGY_P

public static final SubLSymbol $sym10$HEURISTIC_BALANCED_STRATEGY_P

$sym11$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym11$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL

$sym12$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym12$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_REMOVAL

$sym13$HEURISTIC_BALANCED_STRATEGY_ADD_NEW_ROOT

public static final SubLSymbol $sym13$HEURISTIC_BALANCED_STRATEGY_ADD_NEW_ROOT

$sym14$HEURISTIC_BALANCED_STRATEGY_POP_NEW_ROOT

public static final SubLSymbol $sym14$HEURISTIC_BALANCED_STRATEGY_POP_NEW_ROOT

$sym15$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym15$HEURISTIC_BALANCED_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION

$sym16$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym16$HEURISTIC_BALANCED_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$kw20$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw20$ALLOW_OTHER_KEYS

$kw21$TACTIC

public static final SubLSymbol $kw21$TACTIC

$kw22$DONE

public static final SubLSymbol $kw22$DONE

$sym23$DO_STRATEGIC_HEURISTICS

public static final SubLSymbol $sym23$DO_STRATEGIC_HEURISTICS

$sym24$PWHEN

public static final SubLSymbol $sym24$PWHEN

$sym25$HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTIC_

public static final SubLSymbol $sym25$HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTIC_

$sym26$DO_HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTICS

public static final SubLSymbol $sym26$DO_HEURISTIC_BALANCED_TACTICIAN_STRATEGIC_HEURISTICS

$sym27$TRANSFORMATION_TACTIC_P

public static final SubLSymbol $sym27$TRANSFORMATION_TACTIC_P

$sym28$TRANSFORMATION_LINK_P

public static final SubLSymbol $sym28$TRANSFORMATION_LINK_P

$sym29$LOGICAL_TACTIC_P

public static final SubLSymbol $sym29$LOGICAL_TACTIC_P

$sym30$TACTIC_P

public static final SubLSymbol $sym30$TACTIC_P

$sym31$STRATEGEM_P

public static final SubLSymbol $sym31$STRATEGEM_P

$str32$_S_is_not_a_transformation_strate

public static final SubLString $str32$_S_is_not_a_transformation_strate
Method Detail

heuristic_balanced_strategy_p

public static final SubLObject heuristic_balanced_strategy_p(SubLObject object)

heuristic_balanced_strategy_initialize

public static final SubLObject heuristic_balanced_strategy_initialize(SubLObject strategy)

heuristic_balanced_strategy_no_strategems_active_wrt_removalP

public static final SubLObject heuristic_balanced_strategy_no_strategems_active_wrt_removalP(SubLObject strategy)

heuristic_balanced_strategy_peek_strategem_wrt_removal

public static final SubLObject heuristic_balanced_strategy_peek_strategem_wrt_removal(SubLObject strategy)
Returns:
nil or removal-strategem-p

heuristic_balanced_strategy_no_new_rootsP

public static final SubLObject heuristic_balanced_strategy_no_new_rootsP(SubLObject strategy)

heuristic_balanced_strategy_peek_new_root

public static final SubLObject heuristic_balanced_strategy_peek_new_root(SubLObject strategy)
Returns:
nil or problem-p

heuristic_balanced_strategy_chooses_to_throw_away_new_rootP

public static final SubLObject heuristic_balanced_strategy_chooses_to_throw_away_new_rootP(SubLObject strategy,
                                                                                           SubLObject problem)

heuristic_balanced_strategy_no_strategems_active_wrt_transformationP

public static final SubLObject heuristic_balanced_strategy_no_strategems_active_wrt_transformationP(SubLObject strategy)

heuristic_balanced_strategy_peek_strategem_wrt_transformation

public static final SubLObject heuristic_balanced_strategy_peek_strategem_wrt_transformation(SubLObject strategy)
Returns:
nil or transformation-strategem-p

heuristic_balanced_strategy_activate_strategem_wrt_removal

public static final SubLObject heuristic_balanced_strategy_activate_strategem_wrt_removal(SubLObject strategy,
                                                                                          SubLObject removal_strategem)
Returns:
booleanp; whether REMOVAL-STRATEGEM was successfully added to STRATEGY's removal index

heuristic_balanced_strategy_pop_strategem_wrt_removal

public static final SubLObject heuristic_balanced_strategy_pop_strategem_wrt_removal(SubLObject strategy)

heuristic_balanced_strategy_add_new_root

public static final SubLObject heuristic_balanced_strategy_add_new_root(SubLObject strategy,
                                                                        SubLObject problem)

heuristic_balanced_strategy_pop_new_root

public static final SubLObject heuristic_balanced_strategy_pop_new_root(SubLObject strategy)

heuristic_balanced_strategy_activate_strategem_wrt_transformation

public static final SubLObject heuristic_balanced_strategy_activate_strategem_wrt_transformation(SubLObject strategy,
                                                                                                 SubLObject transformation_strategem)
Returns:
booleanp; whether TRANSFORMATION-STRATEGEM was successfully added to STRATEGY's transformation index

heuristic_balanced_strategy_pop_strategem_wrt_transformation

public static final SubLObject heuristic_balanced_strategy_pop_strategem_wrt_transformation(SubLObject strategy)
Returns:
nil or transformation-strategem-p

heuristic_balanced_tactician_strategic_heuristicP

public static final SubLObject heuristic_balanced_tactician_strategic_heuristicP(SubLObject heuristic)

heuristic_balanced_strategy_transformation_tactic_happiness

public static final SubLObject heuristic_balanced_strategy_transformation_tactic_happiness(SubLObject transformation_tactic,
                                                                                           SubLObject strategy)
The happiness of doing one specific transformation.

heuristic_balanced_strategy_transformation_link_happiness

public static final SubLObject heuristic_balanced_strategy_transformation_link_happiness(SubLObject transformation_link,
                                                                                         SubLObject strategy)
The happiness of introducing a new root problem.

heuristic_balanced_strategy_generic_tactic_happiness

public static final SubLObject heuristic_balanced_strategy_generic_tactic_happiness(SubLObject tactic,
                                                                                    SubLObject strategy)

happiness_funcall

public static final SubLObject happiness_funcall(SubLObject function,
                                                 SubLObject strategy,
                                                 SubLObject tactic)

heuristic_balanced_strategy_transformation_strategem_happiness

public static final SubLObject heuristic_balanced_strategy_transformation_strategem_happiness(SubLObject strategy,
                                                                                              SubLObject strategem)

declare_inference_heuristic_balanced_tactician_file

public static final SubLObject declare_inference_heuristic_balanced_tactician_file()

init_inference_heuristic_balanced_tactician_file

public static final SubLObject init_inference_heuristic_balanced_tactician_file()

setup_inference_heuristic_balanced_tactician_file

public static final SubLObject setup_inference_heuristic_balanced_tactician_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.

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD