|
||||||||||
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.wff_vars
public final class wff_vars
Nested Class Summary |
---|
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
SubLTranslatedFile.SubL |
Field Summary | |
---|---|
static SubLSymbol |
$accumulating_wff_violationsP$
Whether we note more than one wff violation, and continue at wff checks even after failure. |
static SubLSymbol |
$arity_violations$
descriptions of how a relational expresion is not valid wrt arity constraints |
static SubLSymbol |
$coherence_violations$
descriptions of how the current argument to wff? is incoherent |
static SubLSymbol |
$enforce_evaluatable_satisfiabilityP$
must evaluatable literals be satisfiable to be deemed wffs? |
static SubLSymbol |
$enforce_literal_wff_idiosyncrasiesP$
require wff literals to pass idiosyncratic constraints? |
static SubLSymbol |
$enforce_only_definitional_gafs_in_vocab_mtP$
must predicates of gafs asserted to vocab mts must be definitional predicates? |
static SubLSymbol |
$include_suf_defn_violationsP$
should sufficient defn violations be included in wff violations? |
static SubLSymbol |
$inhibit_cyclic_commutative_in_argsP$
whether to inhibit asserting semantically dubious #$commutativeInArgs or #$commutativeInArgsAndRest gafs, based on what is already in the KB, as determined by @xref ok-wrt-partial-commutativity? |
static SubLSymbol |
$inhibit_skolem_assertsP$
restrict assertions involving skolems? |
static SubLSymbol |
$kw0$STRICT
|
static SubLSymbol |
$kw1$WFF_MODE
|
static SubLSymbol |
$kw11$INHIBIT_SKOLEM_ASSERTS_
|
static SubLSymbol |
$kw13$SIMPLIFY_EVALUATABLE_EXPRESSIONS_
|
static SubLSymbol |
$kw15$ENFORCE_EVALUATABLE_SATISFIABILITY_
|
static SubLSymbol |
$kw17$ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT_
|
static SubLSymbol |
$kw19$INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS_
|
static SubLSymbol |
$kw21$ACCUMULATING_VIOLATIONS_
|
static SubLSymbol |
$kw23$NOTING_VIOLATIONS_
|
static SubLSymbol |
$kw25$INCLUDE_SUF_DEFN_VIOLATIONS_
|
static SubLSymbol |
$kw27$ENFORCE_LITERAL_IDIOSYNCRASIES_
|
static SubLSymbol |
$kw29$VIOLATION_DATA_TERSE_
|
static SubLSymbol |
$kw3$DEBUG_
|
static SubLSymbol |
$kw31$PERMIT_KEYWORD_VARIABLES_
|
static SubLSymbol |
$kw33$PERMIT_GENERIC_ARG_VARIABLES_
|
static SubLSymbol |
$kw35$VALIDATE_EXPANSIONS_
|
static SubLSymbol |
$kw37$IO_MODE
|
static SubLSymbol |
$kw38$NL
|
static SubLSymbol |
$kw39$VIOLATIONS
|
static SubLSymbol |
$kw44$LENIENT
|
static SubLSymbol |
$kw5$VALIDATE_CONSTANTS_
|
static SubLSymbol |
$kw7$RECOGNIZE_VARIABLES_
|
static SubLSymbol |
$kw9$REJECT_SBHL_CONFLICTS_
|
static SubLList |
$list43
|
static SubLSymbol |
$noting_wff_violationsP$
should wff violations be recorded for presentation? |
static SubLSymbol |
$permit_generic_arg_variablesP$
transient state variable; is t sometimes and nil other times |
static SubLSymbol |
$permit_keyword_variablesP$
transient state variable; is t during the execution of kwt-wff? |
static SubLSymbol |
$provide_wff_suggestionsP$
suggestions for making a non-wff formula wff will be attempted with this is non-nil |
static SubLSymbol |
$recognize_variablesP$
do not impose arg-type constraints on variables? |
static SubLSymbol |
$reject_sbhl_conflictsP$
should asserted gafs that introduce sbhl conflicts be rejected? |
static SubLSymbol |
$simplify_evaluatable_expressionsP$
canonicalize evaluatable expressions to their result when possible? |
static SubLSymbol |
$sym10$_REJECT_SBHL_CONFLICTS__
|
static SubLSymbol |
$sym12$_INHIBIT_SKOLEM_ASSERTS__
|
static SubLSymbol |
$sym14$_SIMPLIFY_EVALUATABLE_EXPRESSIONS__
|
static SubLSymbol |
$sym16$_ENFORCE_EVALUATABLE_SATISFIABILITY__
|
static SubLSymbol |
$sym18$_ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT__
|
static SubLSymbol |
$sym2$_WFF_MODE_
|
static SubLSymbol |
$sym20$_INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS__
|
static SubLSymbol |
$sym22$_ACCUMULATING_WFF_VIOLATIONS__
|
static SubLSymbol |
$sym24$_NOTING_WFF_VIOLATIONS__
|
static SubLSymbol |
$sym26$_INCLUDE_SUF_DEFN_VIOLATIONS__
|
static SubLSymbol |
$sym28$_ENFORCE_LITERAL_WFF_IDIOSYNCRASIES__
|
static SubLSymbol |
$sym30$_WFF_VIOLATION_DATA_TERSE__
|
static SubLSymbol |
$sym32$_PERMIT_KEYWORD_VARIABLES__
|
static SubLSymbol |
$sym34$_PERMIT_GENERIC_ARG_VARIABLES__
|
static SubLSymbol |
$sym36$_VALIDATE_EXPANSIONS__
|
static SubLSymbol |
$sym4$_WFF_DEBUG__
|
static SubLSymbol |
$sym40$PROPERTY_LIST_P
|
static SubLSymbol |
$sym41$WFF_PROPERTY_P
|
static SubLSymbol |
$sym42$WFF_MODE_P
|
static SubLSymbol |
$sym6$_VALIDATE_CONSTANTS__
|
static SubLSymbol |
$sym8$_RECOGNIZE_VARIABLES__
|
static SubLSymbol |
$unexpanded_formula$
original formula whose expansion is being considered? |
static SubLSymbol |
$validate_constantsP$
require that constants referenced by a formula be valid for the formula to be valid? |
static SubLSymbol |
$validate_expansionsP$
should wff tests be applied to expansions (in addition to given form)? |
static SubLSymbol |
$validating_expansionP$
within wff tests applied to expansion (in addition to given form)? |
static SubLSymbol |
$wff_debugP$
Should WFF print out debugging messages during its computation? Setting or binding this to T can be useful when trying to figure out why WFF is rejecting something and why-not-wff is not yielding a useful result. |
static SubLSymbol |
$wff_expansion_formula$
expansion formula being appraised by wff module |
static SubLSymbol |
$wff_formula$
formula being appraised by wff module |
static SubLSymbol |
$wff_memoization_state$
transient state variable; contains the current memoization state during execution of wff? |
static SubLSymbol |
$wff_mode$
The primary way WFF will handle constraints. |
static SubLSymbol |
$wff_original_formula$
original formula being appraised by wff module |
static SubLSymbol |
$wff_properties$
Dynamically bound to the user-specified WFF properties |
static SubLSymbol |
$wff_suggestions$
descriptions of how the current invalid argument to wff? can be fixed |
static SubLSymbol |
$wff_violation_data_terseP$
is wff module only gathering terse violation data? |
static SubLSymbol |
$wff_violations$
descriptions of how the current argument to wff? is invalid |
static SubLSymbol |
$within_wffP$
transient state variable; is t during the execution of wff? |
static SubLFile |
me
|
static java.lang.String |
myName
|
Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
EMPTY_SUBL_OBJECT_ARRAY |
Method Summary | |
---|---|
static SubLObject |
check_wff_properties(SubLObject v_properties)
|
static SubLObject |
declare_wff_vars_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named functions defined in the file. |
static SubLObject |
init_wff_vars_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables for constants defined in the file. |
static SubLObject |
note_wff_property(SubLObject keyword,
SubLObject variable,
SubLObject v_default)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_wff_vars_file()
|
static SubLObject |
unexpanded_formula()
|
static SubLObject |
validating_expansionP()
|
static SubLObject |
wff_debugP()
|
static SubLObject |
wff_expansion_formula()
|
static SubLObject |
wff_formula()
|
static SubLObject |
wff_lenientP()
|
static SubLObject |
wff_mode()
|
static SubLObject |
wff_original_formula()
|
static SubLObject |
wff_properties_table()
|
static SubLObject |
wff_violation_data_terseP()
|
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 SubLSymbol $wff_properties$
public static SubLSymbol $wff_mode$
public static SubLSymbol $wff_debugP$
public static SubLSymbol $validate_constantsP$
public static SubLSymbol $recognize_variablesP$
public static SubLSymbol $reject_sbhl_conflictsP$
public static SubLSymbol $inhibit_skolem_assertsP$
public static SubLSymbol $simplify_evaluatable_expressionsP$
public static SubLSymbol $enforce_evaluatable_satisfiabilityP$
public static SubLSymbol $enforce_only_definitional_gafs_in_vocab_mtP$
public static SubLSymbol $inhibit_cyclic_commutative_in_argsP$
public static SubLSymbol $accumulating_wff_violationsP$
public static SubLSymbol $noting_wff_violationsP$
public static SubLSymbol $include_suf_defn_violationsP$
public static SubLSymbol $enforce_literal_wff_idiosyncrasiesP$
public static SubLSymbol $wff_violation_data_terseP$
public static SubLSymbol $permit_keyword_variablesP$
public static SubLSymbol $permit_generic_arg_variablesP$
public static SubLSymbol $validate_expansionsP$
public static SubLSymbol $within_wffP$
public static SubLSymbol $wff_formula$
public static SubLSymbol $wff_original_formula$
public static SubLSymbol $wff_expansion_formula$
public static SubLSymbol $coherence_violations$
public static SubLSymbol $wff_violations$
public static SubLSymbol $arity_violations$
public static SubLSymbol $provide_wff_suggestionsP$
public static SubLSymbol $wff_suggestions$
public static SubLSymbol $wff_memoization_state$
public static SubLSymbol $validating_expansionP$
public static SubLSymbol $unexpanded_formula$
public static final SubLSymbol $kw0$STRICT
public static final SubLSymbol $kw1$WFF_MODE
public static final SubLSymbol $sym2$_WFF_MODE_
public static final SubLSymbol $kw3$DEBUG_
public static final SubLSymbol $sym4$_WFF_DEBUG__
public static final SubLSymbol $kw5$VALIDATE_CONSTANTS_
public static final SubLSymbol $sym6$_VALIDATE_CONSTANTS__
public static final SubLSymbol $kw7$RECOGNIZE_VARIABLES_
public static final SubLSymbol $sym8$_RECOGNIZE_VARIABLES__
public static final SubLSymbol $kw9$REJECT_SBHL_CONFLICTS_
public static final SubLSymbol $sym10$_REJECT_SBHL_CONFLICTS__
public static final SubLSymbol $kw11$INHIBIT_SKOLEM_ASSERTS_
public static final SubLSymbol $sym12$_INHIBIT_SKOLEM_ASSERTS__
public static final SubLSymbol $kw13$SIMPLIFY_EVALUATABLE_EXPRESSIONS_
public static final SubLSymbol $sym14$_SIMPLIFY_EVALUATABLE_EXPRESSIONS__
public static final SubLSymbol $kw15$ENFORCE_EVALUATABLE_SATISFIABILITY_
public static final SubLSymbol $sym16$_ENFORCE_EVALUATABLE_SATISFIABILITY__
public static final SubLSymbol $kw17$ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT_
public static final SubLSymbol $sym18$_ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT__
public static final SubLSymbol $kw19$INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS_
public static final SubLSymbol $sym20$_INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS__
public static final SubLSymbol $kw21$ACCUMULATING_VIOLATIONS_
public static final SubLSymbol $sym22$_ACCUMULATING_WFF_VIOLATIONS__
public static final SubLSymbol $kw23$NOTING_VIOLATIONS_
public static final SubLSymbol $sym24$_NOTING_WFF_VIOLATIONS__
public static final SubLSymbol $kw25$INCLUDE_SUF_DEFN_VIOLATIONS_
public static final SubLSymbol $sym26$_INCLUDE_SUF_DEFN_VIOLATIONS__
public static final SubLSymbol $kw27$ENFORCE_LITERAL_IDIOSYNCRASIES_
public static final SubLSymbol $sym28$_ENFORCE_LITERAL_WFF_IDIOSYNCRASIES__
public static final SubLSymbol $kw29$VIOLATION_DATA_TERSE_
public static final SubLSymbol $sym30$_WFF_VIOLATION_DATA_TERSE__
public static final SubLSymbol $kw31$PERMIT_KEYWORD_VARIABLES_
public static final SubLSymbol $sym32$_PERMIT_KEYWORD_VARIABLES__
public static final SubLSymbol $kw33$PERMIT_GENERIC_ARG_VARIABLES_
public static final SubLSymbol $sym34$_PERMIT_GENERIC_ARG_VARIABLES__
public static final SubLSymbol $kw35$VALIDATE_EXPANSIONS_
public static final SubLSymbol $sym36$_VALIDATE_EXPANSIONS__
public static final SubLSymbol $kw37$IO_MODE
public static final SubLSymbol $kw38$NL
public static final SubLSymbol $kw39$VIOLATIONS
public static final SubLSymbol $sym40$PROPERTY_LIST_P
public static final SubLSymbol $sym41$WFF_PROPERTY_P
public static final SubLSymbol $sym42$WFF_MODE_P
public static final SubLList $list43
public static final SubLSymbol $kw44$LENIENT
Method Detail |
---|
public static final SubLObject wff_properties_table()
public static final SubLObject wff_expansion_formula()
public static final SubLObject wff_debugP()
public static final SubLObject wff_violation_data_terseP()
public static final SubLObject wff_original_formula()
public static final SubLObject note_wff_property(SubLObject keyword, SubLObject variable, SubLObject v_default)
public static final SubLObject check_wff_properties(SubLObject v_properties)
public static final SubLObject wff_mode()
public static final SubLObject wff_lenientP()
public static final SubLObject wff_formula()
public static final SubLObject validating_expansionP()
public static final SubLObject unexpanded_formula()
public static final SubLObject declare_wff_vars_file()
public static final SubLObject init_wff_vars_file()
public static final SubLObject setup_wff_vars_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 |