|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.cardinality_estimates
public final class cardinality_estimates
Nested Class Summary | |
---|---|
static class |
cardinality_estimates.$generality_estimate$UnaryFunction
|
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
SubLTranslatedFile.SubL |
Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
EMPTY_SUBL_OBJECT_ARRAY |
Method Summary | |
---|---|
static SubLObject |
clear_cardinality_estimates(SubLObject v_term)
Remove TERM from any of the cardinality estimate tables |
static SubLObject |
compute_generality_estimate(SubLObject v_term)
|
static SubLObject |
declare_cardinality_estimates_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named functions defined in the file. |
static SubLObject |
genl_cardinality(SubLObject v_term)
Return an estimate of the number of generalizations of TERM. |
static SubLObject |
init_cardinality_estimates_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables for constants defined in the file. |
static SubLObject |
instance_cardinality(SubLObject v_term)
Return an estimate of the number of instances of TERM. |
static SubLObject |
instance_iteration_cost(SubLObject v_term)
|
static SubLObject |
load_cardinality_estimates_from_stream(SubLObject stream)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
set_generality_estimate(SubLObject v_term,
SubLObject estimate)
|
static SubLObject |
set_total_genl_cardinality(SubLObject v_term,
SubLObject count)
|
static SubLObject |
set_total_spec_cardinality(SubLObject v_term,
SubLObject count)
|
static SubLObject |
setup_cardinality_estimates_file()
|
static SubLObject |
setup_cardinality_tables(SubLObject estimated_size)
|
static SubLObject |
spec_cardinality(SubLObject v_term)
Return an estimate of the number of specializations of TERM. |
static SubLObject |
total_genl_cardinality(SubLObject v_term)
|
static SubLObject |
total_instance_cardinality(SubLObject v_term)
|
static SubLObject |
total_quoted_instance_cardinality(SubLObject v_term)
|
static SubLObject |
total_spec_cardinality(SubLObject v_term)
|
static SubLObject |
update_cardinality_estimates_wrt_genls(SubLObject spec,
SubLObject genl)
Conservatively update the cardinality estimates of SPEC and GENL due to a new link between them. |
static SubLObject |
update_generality_estimate(SubLObject v_term)
Update the generality estimate for TERM. |
static SubLObject |
update_genl_cardinality(SubLObject spec,
SubLObject genl)
Conservatively update the genl cardinality estimate due to SPEC GENL link. |
static SubLObject |
update_instance_cardinality(SubLObject spec,
SubLObject genl)
Conservatively update the instance cardinality estimate due to SPEC GENL link. |
static SubLObject |
update_spec_cardinality(SubLObject spec,
SubLObject genl)
Conservatively update the spec cardinality estimate due to SPEC GENL link. |
static SubLObject |
use_cardinality(SubLObject v_term)
Return an estimate of the number of uses generalized by TERM. |
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 |
---|
public static final SubLFile me
public static final java.lang.String myName
public static final SubLSymbol $sym0$FORT_OR_CHLMT_P
public static final SubLSymbol $sym1$FORT_P
public static final SubLSymbol $kw2$ASCENDING
public static final SubLSymbol $sym3$_
public static final SubLSymbol $sym4$GENERALITY_ESTIMATE
public static final SubLSymbol $kw5$DESCENDING
public static final SubLSymbol $sym6$_
public static final SubLSymbol $sym7$_LOCAL_INSTANCE_CARDINALITY_
public static final SubLSymbol $sym8$_LOCAL_QUOTED_INSTANCE_CARDINALITY_
public static final SubLSymbol $sym9$_LOCAL_SPEC_CARDINALITY_
public static final SubLSymbol $sym10$_TOTAL_INSTANCE_CARDINALITY_
public static final SubLSymbol $sym11$_TOTAL_QUOTED_INSTANCE_CARDINALITY_
public static final SubLSymbol $sym12$_TOTAL_SPEC_CARDINALITY_
public static final SubLSymbol $sym13$_TOTAL_GENL_CARDINALITY_
public static final SubLSymbol $sym14$_GENERALITY_ESTIMATE_TABLE_
public static final SubLList $list15
public static final SubLList $list16
public static final SubLSymbol $kw17$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw18$PROGRESS_MESSAGE
public static final SubLSymbol $kw19$DONE
public static final SubLSymbol $sym20$MESSAGE_VAR
public static final SubLSymbol $sym21$MODULE_VAR
public static final SubLSymbol $sym22$TOTAL
public static final SubLSymbol $sym23$SOFAR
public static final SubLSymbol $sym24$CLET
public static final SubLSymbol $sym25$GET_SBHL_MODULE_SIZE
public static final SubLList $list26
public static final SubLSymbol $sym27$NOTING_PERCENT_PROGRESS
public static final SubLSymbol $sym28$DO_SBHL_MODULE_NODES
public static final SubLSymbol $sym29$NOTE_PERCENT_PROGRESS
public static final SubLSymbol $sym30$CINC
public static final SubLSymbol $sym31$MODULE_VAR
public static final SubLSymbol $sym32$LINK_VAR
public static final SubLSymbol $sym33$DO_SBHL_GRAPH_LINKS
public static final SubLSymbol $kw34$MODULE
public static final SubLSymbol $sym35$IGNORE
public static final SubLString $str36$Calculating_collection_local_spec
public static final SubLObject $const37$genls
public static final SubLSymbol $sym38$RELEVANT_MT_IS_EVERYTHING
public static final SubLObject $const39$EverythingPSC
public static final SubLList $list40
public static final SubLString $str41$Calculating_collection_local_inst
public static final SubLObject $const42$isa
public static final SubLString $str43$Calculating_collection_local_quot
public static final SubLObject $const44$quotedIsa
public static final SubLString $str45$Calculating_predicate_local_spec_
public static final SubLObject $const46$genlPreds
public static final SubLString $str47$Calculating_microtheory_local_spe
public static final SubLObject $const48$genlMt
public static final SubLString $str49$Calculating_other_local_instance_
public static final SubLSymbol $kw50$SKIP
public static final SubLString $str51$Calculating_collection_total_card
public static final SubLList $list52
public static final SubLString $str53$Calculating_predicate_total_cardi
public static final SubLList $list54
public static final SubLString $str55$Calculating_microtheory_total_car
public static final SubLList $list56
public static final SubLString $str57$Calculating_generality_estimates
public static final SubLInteger $int58$100
public static final SubLSymbol $kw59$DEPTH
public static final SubLSymbol $kw60$STACK
public static final SubLSymbol $kw61$QUEUE
public static final SubLSymbol $sym62$RELEVANT_SBHL_TV_IS_GENERAL_TV
public static final SubLSymbol $kw63$ERROR
public static final SubLString $str64$_A_is_not_a__A
public static final SubLSymbol $sym65$SBHL_TRUE_TV_P
public static final SubLSymbol $kw66$CERROR
public static final SubLString $str67$continue_anyway
public static final SubLSymbol $kw68$WARN
public static final SubLString $str69$_A_is_not_a_valid__sbhl_type_erro
public static final SubLString $str70$attempting_to_bind_direction_link
public static final SubLString $str71$Node__a_does_not_pass_sbhl_type_t
public static final SubLSymbol $kw72$BREADTH
Method Detail |
---|
public static final SubLObject instance_cardinality(SubLObject v_term)
public static final SubLObject genl_cardinality(SubLObject v_term)
public static final SubLObject spec_cardinality(SubLObject v_term)
public static final SubLObject use_cardinality(SubLObject v_term)
public static final SubLObject instance_iteration_cost(SubLObject v_term)
public static final SubLObject total_instance_cardinality(SubLObject v_term)
public static final SubLObject total_quoted_instance_cardinality(SubLObject v_term)
public static final SubLObject total_spec_cardinality(SubLObject v_term)
public static final SubLObject set_total_spec_cardinality(SubLObject v_term, SubLObject count)
public static final SubLObject total_genl_cardinality(SubLObject v_term)
public static final SubLObject set_total_genl_cardinality(SubLObject v_term, SubLObject count)
public static final SubLObject set_generality_estimate(SubLObject v_term, SubLObject estimate)
public static final SubLObject setup_cardinality_tables(SubLObject estimated_size)
public static final SubLObject load_cardinality_estimates_from_stream(SubLObject stream)
public static final SubLObject update_cardinality_estimates_wrt_genls(SubLObject spec, SubLObject genl)
public static final SubLObject clear_cardinality_estimates(SubLObject v_term)
public static final SubLObject update_instance_cardinality(SubLObject spec, SubLObject genl)
public static final SubLObject update_spec_cardinality(SubLObject spec, SubLObject genl)
public static final SubLObject update_genl_cardinality(SubLObject spec, SubLObject genl)
public static final SubLObject update_generality_estimate(SubLObject v_term)
public static final SubLObject compute_generality_estimate(SubLObject v_term)
public static final SubLObject declare_cardinality_estimates_file()
public static final SubLObject init_cardinality_estimates_file()
public static final SubLObject setup_cardinality_estimates_file()
public void declareFunctions()
SubLFile
public void initializeVariables()
SubLFile
public void runTopLevelForms()
SubLFile
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |