com.cyc.cycjava.cycl
Class wff_vars

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.wff_vars
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class wff_vars
extends SubLTranslatedFile


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
 
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 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

me

public static final SubLFile me

myName

public static final java.lang.String myName
See Also:
Constant Field Values

$wff_properties$

public static SubLSymbol $wff_properties$
Dynamically bound to the user-specified WFF properties


$wff_mode$

public static SubLSymbol $wff_mode$
The primary way WFF will handle constraints. :strict -- WFF rejects sentences if they do not provably meet arg constraints. Colloquially known as 'bitchy gatekeeper' mode. :lenient -- WFF rejects sentences if they are disjoint with arg constraints, but does not add the provable consequences to the KB


$wff_debugP$

public 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.


$validate_constantsP$

public static SubLSymbol $validate_constantsP$
require that constants referenced by a formula be valid for the formula to be valid?


$recognize_variablesP$

public static SubLSymbol $recognize_variablesP$
do not impose arg-type constraints on variables?


$reject_sbhl_conflictsP$

public static SubLSymbol $reject_sbhl_conflictsP$
should asserted gafs that introduce sbhl conflicts be rejected?


$inhibit_skolem_assertsP$

public static SubLSymbol $inhibit_skolem_assertsP$
restrict assertions involving skolems?


$simplify_evaluatable_expressionsP$

public static SubLSymbol $simplify_evaluatable_expressionsP$
canonicalize evaluatable expressions to their result when possible?


$enforce_evaluatable_satisfiabilityP$

public static SubLSymbol $enforce_evaluatable_satisfiabilityP$
must evaluatable literals be satisfiable to be deemed wffs?


$enforce_only_definitional_gafs_in_vocab_mtP$

public static SubLSymbol $enforce_only_definitional_gafs_in_vocab_mtP$
must predicates of gafs asserted to vocab mts must be definitional predicates?


$inhibit_cyclic_commutative_in_argsP$

public 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?


$accumulating_wff_violationsP$

public static SubLSymbol $accumulating_wff_violationsP$
Whether we note more than one wff violation, and continue at wff checks even after failure.


$noting_wff_violationsP$

public static SubLSymbol $noting_wff_violationsP$
should wff violations be recorded for presentation?


$include_suf_defn_violationsP$

public static SubLSymbol $include_suf_defn_violationsP$
should sufficient defn violations be included in wff violations?


$enforce_literal_wff_idiosyncrasiesP$

public static SubLSymbol $enforce_literal_wff_idiosyncrasiesP$
require wff literals to pass idiosyncratic constraints?


$wff_violation_data_terseP$

public static SubLSymbol $wff_violation_data_terseP$
is wff module only gathering terse violation data?


$permit_keyword_variablesP$

public static SubLSymbol $permit_keyword_variablesP$
transient state variable; is t during the execution of kwt-wff?


$permit_generic_arg_variablesP$

public static SubLSymbol $permit_generic_arg_variablesP$
transient state variable; is t sometimes and nil other times


$validate_expansionsP$

public static SubLSymbol $validate_expansionsP$
should wff tests be applied to expansions (in addition to given form)?


$within_wffP$

public static SubLSymbol $within_wffP$
transient state variable; is t during the execution of wff?


$wff_formula$

public static SubLSymbol $wff_formula$
formula being appraised by wff module


$wff_original_formula$

public static SubLSymbol $wff_original_formula$
original formula being appraised by wff module


$wff_expansion_formula$

public static SubLSymbol $wff_expansion_formula$
expansion formula being appraised by wff module


$coherence_violations$

public static SubLSymbol $coherence_violations$
descriptions of how the current argument to wff? is incoherent


$wff_violations$

public static SubLSymbol $wff_violations$
descriptions of how the current argument to wff? is invalid


$arity_violations$

public static SubLSymbol $arity_violations$
descriptions of how a relational expresion is not valid wrt arity constraints


$provide_wff_suggestionsP$

public static SubLSymbol $provide_wff_suggestionsP$
suggestions for making a non-wff formula wff will be attempted with this is non-nil


$wff_suggestions$

public static SubLSymbol $wff_suggestions$
descriptions of how the current invalid argument to wff? can be fixed


$wff_memoization_state$

public static SubLSymbol $wff_memoization_state$
transient state variable; contains the current memoization state during execution of wff?


$validating_expansionP$

public static SubLSymbol $validating_expansionP$
within wff tests applied to expansion (in addition to given form)?


$unexpanded_formula$

public static SubLSymbol $unexpanded_formula$
original formula whose expansion is being considered?


$kw0$STRICT

public static final SubLSymbol $kw0$STRICT

$kw1$WFF_MODE

public static final SubLSymbol $kw1$WFF_MODE

$sym2$_WFF_MODE_

public static final SubLSymbol $sym2$_WFF_MODE_

$kw3$DEBUG_

public static final SubLSymbol $kw3$DEBUG_

$sym4$_WFF_DEBUG__

public static final SubLSymbol $sym4$_WFF_DEBUG__

$kw5$VALIDATE_CONSTANTS_

public static final SubLSymbol $kw5$VALIDATE_CONSTANTS_

$sym6$_VALIDATE_CONSTANTS__

public static final SubLSymbol $sym6$_VALIDATE_CONSTANTS__

$kw7$RECOGNIZE_VARIABLES_

public static final SubLSymbol $kw7$RECOGNIZE_VARIABLES_

$sym8$_RECOGNIZE_VARIABLES__

public static final SubLSymbol $sym8$_RECOGNIZE_VARIABLES__

$kw9$REJECT_SBHL_CONFLICTS_

public static final SubLSymbol $kw9$REJECT_SBHL_CONFLICTS_

$sym10$_REJECT_SBHL_CONFLICTS__

public static final SubLSymbol $sym10$_REJECT_SBHL_CONFLICTS__

$kw11$INHIBIT_SKOLEM_ASSERTS_

public static final SubLSymbol $kw11$INHIBIT_SKOLEM_ASSERTS_

$sym12$_INHIBIT_SKOLEM_ASSERTS__

public static final SubLSymbol $sym12$_INHIBIT_SKOLEM_ASSERTS__

$kw13$SIMPLIFY_EVALUATABLE_EXPRESSIONS_

public static final SubLSymbol $kw13$SIMPLIFY_EVALUATABLE_EXPRESSIONS_

$sym14$_SIMPLIFY_EVALUATABLE_EXPRESSIONS__

public static final SubLSymbol $sym14$_SIMPLIFY_EVALUATABLE_EXPRESSIONS__

$kw15$ENFORCE_EVALUATABLE_SATISFIABILITY_

public static final SubLSymbol $kw15$ENFORCE_EVALUATABLE_SATISFIABILITY_

$sym16$_ENFORCE_EVALUATABLE_SATISFIABILITY__

public static final SubLSymbol $sym16$_ENFORCE_EVALUATABLE_SATISFIABILITY__

$kw17$ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT_

public static final SubLSymbol $kw17$ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT_

$sym18$_ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT__

public static final SubLSymbol $sym18$_ENFORCE_ONLY_DEFINITIONAL_GAFS_IN_VOCAB_MT__

$kw19$INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS_

public static final SubLSymbol $kw19$INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS_

$sym20$_INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS__

public static final SubLSymbol $sym20$_INHIBIT_CYCLIC_COMMUTATIVE_IN_ARGS__

$kw21$ACCUMULATING_VIOLATIONS_

public static final SubLSymbol $kw21$ACCUMULATING_VIOLATIONS_

$sym22$_ACCUMULATING_WFF_VIOLATIONS__

public static final SubLSymbol $sym22$_ACCUMULATING_WFF_VIOLATIONS__

$kw23$NOTING_VIOLATIONS_

public static final SubLSymbol $kw23$NOTING_VIOLATIONS_

$sym24$_NOTING_WFF_VIOLATIONS__

public static final SubLSymbol $sym24$_NOTING_WFF_VIOLATIONS__

$kw25$INCLUDE_SUF_DEFN_VIOLATIONS_

public static final SubLSymbol $kw25$INCLUDE_SUF_DEFN_VIOLATIONS_

$sym26$_INCLUDE_SUF_DEFN_VIOLATIONS__

public static final SubLSymbol $sym26$_INCLUDE_SUF_DEFN_VIOLATIONS__

$kw27$ENFORCE_LITERAL_IDIOSYNCRASIES_

public static final SubLSymbol $kw27$ENFORCE_LITERAL_IDIOSYNCRASIES_

$sym28$_ENFORCE_LITERAL_WFF_IDIOSYNCRASIES__

public static final SubLSymbol $sym28$_ENFORCE_LITERAL_WFF_IDIOSYNCRASIES__

$kw29$VIOLATION_DATA_TERSE_

public static final SubLSymbol $kw29$VIOLATION_DATA_TERSE_

$sym30$_WFF_VIOLATION_DATA_TERSE__

public static final SubLSymbol $sym30$_WFF_VIOLATION_DATA_TERSE__

$kw31$PERMIT_KEYWORD_VARIABLES_

public static final SubLSymbol $kw31$PERMIT_KEYWORD_VARIABLES_

$sym32$_PERMIT_KEYWORD_VARIABLES__

public static final SubLSymbol $sym32$_PERMIT_KEYWORD_VARIABLES__

$kw33$PERMIT_GENERIC_ARG_VARIABLES_

public static final SubLSymbol $kw33$PERMIT_GENERIC_ARG_VARIABLES_

$sym34$_PERMIT_GENERIC_ARG_VARIABLES__

public static final SubLSymbol $sym34$_PERMIT_GENERIC_ARG_VARIABLES__

$kw35$VALIDATE_EXPANSIONS_

public static final SubLSymbol $kw35$VALIDATE_EXPANSIONS_

$sym36$_VALIDATE_EXPANSIONS__

public static final SubLSymbol $sym36$_VALIDATE_EXPANSIONS__

$kw37$IO_MODE

public static final SubLSymbol $kw37$IO_MODE

$kw38$NL

public static final SubLSymbol $kw38$NL

$kw39$VIOLATIONS

public static final SubLSymbol $kw39$VIOLATIONS

$sym40$PROPERTY_LIST_P

public static final SubLSymbol $sym40$PROPERTY_LIST_P

$sym41$WFF_PROPERTY_P

public static final SubLSymbol $sym41$WFF_PROPERTY_P

$sym42$WFF_MODE_P

public static final SubLSymbol $sym42$WFF_MODE_P

$list43

public static final SubLList $list43

$kw44$LENIENT

public static final SubLSymbol $kw44$LENIENT
Method Detail

wff_properties_table

public static final SubLObject wff_properties_table()

wff_expansion_formula

public static final SubLObject wff_expansion_formula()

wff_debugP

public static final SubLObject wff_debugP()

wff_violation_data_terseP

public static final SubLObject wff_violation_data_terseP()

wff_original_formula

public static final SubLObject wff_original_formula()

note_wff_property

public static final SubLObject note_wff_property(SubLObject keyword,
                                                 SubLObject variable,
                                                 SubLObject v_default)

check_wff_properties

public static final SubLObject check_wff_properties(SubLObject v_properties)

wff_mode

public static final SubLObject wff_mode()

wff_lenientP

public static final SubLObject wff_lenientP()

wff_formula

public static final SubLObject wff_formula()

validating_expansionP

public static final SubLObject validating_expansionP()

unexpanded_formula

public static final SubLObject unexpanded_formula()

declare_wff_vars_file

public static final SubLObject declare_wff_vars_file()

init_wff_vars_file

public static final SubLObject init_wff_vars_file()

setup_wff_vars_file

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