Uses of Class
com.cyc.tool.subl.util.SubLTranslatedFile

Packages that use SubLTranslatedFile

com.cyc.cycjava.cycl
com.cyc.cycjava.cycl.cyc_testing
com.cyc.cycjava.cycl.cyc_testing.kb_content_test
com.cyc.cycjava.cycl.inference
com.cyc.cycjava.cycl.inference.harness
com.cyc.cycjava.cycl.inference.modules
com.cyc.cycjava.cycl.inference.modules.removal
com.cyc.cycjava.cycl.sbhl
com.cyc.cycjava.cycl.sksi.sksi_infrastructure
com.cyc.tool.subl.jrtl.translatedCode.sublisp
eu.larkc.core

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl

class	access_macros
class	accumulation
class	agenda
class	api_control_vars
class	api_kernel
class	arg_type
class	arguments
class	arity
class	assertion_handles
class	assertion_manager
class	assertion_utilities
class	assertions_high
class	assertions_interface
class	assertions_low
class	at_admitted
class	at_cache
class	at_defns
class	at_macros
class	at_routines
class	at_utilities
class	at_var_types
class	at_vars
class	auxiliary_indexing
class	backward
class	backward_results
class	backward_utilities
class	bag
class	bijection
class	binary_tree
class	bindings
class	bookkeeping_store
class	builder_utilities
class	c_backend
class	c_name_translation
class	cache
class	cache_utilities
class	canon_tl
class	cardinality_estimates
class	cfasl
class	cfasl_compression
class	cfasl_kb_methods
class	cfasl_kernel
class	cfasl_utilities
class	clause_strucs
class	clause_utilities
class	clauses
class	clausifier
class	collection_defns
class	concept_filter
class	constant_completion
class	constant_completion_high
class	constant_completion_interface
class	constant_completion_low
class	constant_handles
class	constant_index_manager
class	constant_reader
class	constants_high
class	constants_interface
class	constants_low
class	control_vars
class	cyc_bookkeeping
class	cyc_kernel
class	cyc_revision_extraction
class	cycl_grammar
class	cycl_query_specification
class	cycl_utilities
class	cycl_variables
class	cycml_generator
class	czer_graph
class	czer_main
class	czer_meta
class	czer_trampolines
class	czer_utilities
class	czer_vars
class	deck
class	deduction_handles
class	deduction_manager
class	deductions_high
class	deductions_interface
class	deductions_low
class	defns
class	dictionary
class	dictionary_contents
class	dictionary_utilities
class	disjoint_with
class	dumper
class	el_grammar
class	el_utilities
class	encapsulation
class	enumeration_types
class	equality_store
class	equals
class	eval_in_api
class	eval_in_api_registrations
class	evaluation_defns
class	fi
class	file_backed_cache
class	file_backed_cache_setup
class	file_hash_table
class	file_translation
class	file_utilities
class	file_vector
class	file_vector_utilities
class	finite_state_transducer
class	folification
class	format_nil
class	formula_pattern_match
class	formula_templates
class	fort_types_interface
class	forts
class	fraction_utilities
class	function_terms
class	genl_mts
class	genl_predicates
class	genls
class	ghl_link_iterators
class	ghl_marking_utilities
class	ghl_search_methods
class	ghl_search_utilities
class	ghl_search_vars
class	glob
class	graph_utilities
class	graphic_library_format
class	graphl_graph_utilities
class	graphl_search_vars
class	gt_methods
class	gt_search
class	gt_utilities
class	gt_vars
class	guardian
class	hash_table_utilities
class	heap
class	hierarchical_visitor
class	hl_interface_infrastructure
class	hl_modifiers
class	hl_storage_module_declarations
class	hl_storage_modules
class	hl_supports
class	hlmt
class	hlmt_czer
class	id_index
class	integer_sequence_generator
class	interval_span
class	isa
class	iteration
class	java_api_kernel
class	java_name_translation
class	kb_access_metering
class	kb_accessors
class	kb_compare
class	kb_control_vars
class	kb_gp_mapping
class	kb_hl_support_manager
class	kb_hl_supports
class	kb_indexing
class	kb_indexing_datastructures
class	kb_indexing_declarations
class	kb_indexing_macros
class	kb_macros
class	kb_mapping
class	kb_mapping_macros
class	kb_mapping_utilities
class	kb_object_manager
class	kb_paths
class	kb_utilities
class	ke
class	keyhash
class	keyhash_utilities
class	list_utilities
class	lucene_session
class	mail_message
class	map_utilities
class	memoization_state
class	meta_macros
class	misc_kb_utilities
class	misc_utilities
class	modules
class	morphology
class	mt_relevance_cache
class	mt_relevance_macros
class	mt_vars
class	nart_handles
class	nart_hl_formula_manager
class	nart_index_manager
class	narts_high
class	negation_predicate
class	neural_net
class	new_cycl_query_specification
class	number_utilities
class	numeric_date_utilities
class	obsolete
class	operation_communication Handles communication to other Cyc images and does the
class	operation_queues
class	os_process_utilities
class	pattern_match
class	postcanonicalizer
class	precanonicalizer
class	pred_relevance_macros
class	predicate_relevance_cache
class	preserves_genls_in_arg
class	process_utilities
class	psc
class	queues
class	red_api
class	red_infrastructure
class	red_infrastructure_macros
class	relation_evaluation
class	remote_image
class	rewrite_of_propagation
class	rule_macros
class	scientific_numbers
class	sdbc
class	sdc
class	search
class	secure_translation
class	set
class	set_contents
class	set_utilities
class	shelfs
class	simple_indexing
class	simple_lru_cache_strategy
class	simplifier
class	skolems
class	somewhere_cache
class	sparse_matrix
class	sparse_vector
class	special_variable_state
class	stacks
class	standard_tokenization
class	stream_buffer
class	string_utilities
class	subl_identifier
class	subl_macro_promotions
class	subl_macros
class	subl_promotions
class	system_benchmarks
class	system_info
class	system_parameters
class	system_translation
class	system_version
class	task_processor
class	tcp_server_utilities
class	term
class	test_query_suite
class	timing
class	tms
class	transcript_server
class	transcript_utilities
class	transform_list_utilities
class	transitivity
class	tries
class	tva_cache
class	tva_inference
class	tva_strategy
class	tva_tactic
class	tva_utilities
class	uncanonicalizer
class	unicode_streams
class	unicode_strings
class	unicode_subsets
class	unification
class	unification_utilities
class	unrepresented_term_index_manager
class	unrepresented_terms
class	user_actions
class	utilities_macros
class	value_tables
class	variables
class	vector_utilities
class	verbosifier
class	virtual_indexing
class	web_utilities
class	wff
class	wff_macros
class	wff_module_datastructures
class	wff_utilities
class	wff_vars
class	xml_utilities
class	xref_database

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.cyc_testing

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.cyc_testing

class	ctest_utils
class	cyc_testing
class	cyc_testing_initialization
class	evaluatable_relation_tests
class	generic_testing
class	inference_unit_tests
class	removal_module_cost_tests
class	removal_module_tests
class	transformation_module_tests

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.cyc_testing.kb_content_test

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.cyc_testing.kb_content_test

class

kct_utils

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference

class	arete
class	ask_utilities
class	collection_intersection
class	inference_completeness_utilities
class	inference_pad_data
class	inference_trampolines
class	janus
class	kbq_query_run
class	leviathan

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.harness

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.harness

class	abnormal
class	after_adding
class	argumentation
class	balancing_tactician
class	forward
class	hl_prototypes
class	inference_abduction_utilities
class	inference_analysis
class	inference_balanced_tactician_datastructures
class	inference_balanced_tactician_execution
class	inference_balanced_tactician_motivation
class	inference_balanced_tactician_strategic_uninterestingness
class	inference_czer
class	inference_datastructures_enumerated_types
class	inference_datastructures_forward_propagate
class	inference_datastructures_inference
class	inference_datastructures_problem
class	inference_datastructures_problem_link
class	inference_datastructures_problem_query
class	inference_datastructures_problem_store
class	inference_datastructures_proof
class	inference_datastructures_strategy
class	inference_datastructures_tactic
class	inference_heuristic_balanced_tactician
class	inference_kernel
class	inference_lookahead_productivity
class	inference_macros
class	inference_metrics
class	inference_min_transformation_depth
class	inference_modules
class	inference_parameters
class	inference_strategic_heuristics
class	inference_strategist
class	inference_tactician
class	inference_tactician_strategic_uninterestingness
class	inference_tactician_utilities
class	inference_trivial
class	inference_worker
class	inference_worker_answer
class	inference_worker_join
class	inference_worker_join_ordered
class	inference_worker_removal
class	inference_worker_residual_transformation
class	inference_worker_restriction
class	inference_worker_rewrite
class	inference_worker_split
class	inference_worker_transformation
class	inference_worker_union
class	new_root_tactician_datastructures
class	removal_module_utilities
class	removal_tactician
class	removal_tactician_datastructures
class	removal_tactician_execution
class	removal_tactician_motivation
class	removal_tactician_uninterestingness
class	rule_after_adding
class	transformation_tactician_datastructures

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.modules

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.modules

class	after_adding_modules
class	forward_modules
class	preference_modules
class	rewrite_modules
class	simplification_modules
class	transformation_modules

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.modules.removal

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.inference.modules.removal

class	meta_removal_modules
class	removal_modules_abduction
class	removal_modules_asserted_formula
class	removal_modules_backchain_required
class	removal_modules_conjunctive_pruning
class	removal_modules_different
class	removal_modules_evaluation
class	removal_modules_function_corresponding_predicate
class	removal_modules_genlpreds
class	removal_modules_genlpreds_lookup
class	removal_modules_genls
class	removal_modules_indexical_referent
class	removal_modules_isa
class	removal_modules_lookup
class	removal_modules_natfunction
class	removal_modules_reflexive_on
class	removal_modules_reflexivity
class	removal_modules_relation_all
class	removal_modules_relation_all_exists
class	removal_modules_relation_all_instance
class	removal_modules_relation_instance_exists
class	removal_modules_symmetry
class	removal_modules_termofunit
class	removal_modules_transitivity
class	removal_modules_tva_lookup

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.sbhl

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.sbhl

class	sbhl_cache
class	sbhl_caching_policies
class	sbhl_graphs
class	sbhl_iteration
class	sbhl_link_iterators
class	sbhl_link_methods
class	sbhl_link_utilities
class	sbhl_link_vars
class	sbhl_links
class	sbhl_macros
class	sbhl_marking_methods
class	sbhl_marking_utilities
class	sbhl_marking_vars
class	sbhl_module_declarations
class	sbhl_module_utilities
class	sbhl_module_vars
class	sbhl_paranoia
class	sbhl_search_datastructures
class	sbhl_search_implied_relations
class	sbhl_search_methods
class	sbhl_search_utilities
class	sbhl_search_vars
class	sbhl_search_what_mts

Uses of SubLTranslatedFile in com.cyc.cycjava.cycl.sksi.sksi_infrastructure

Subclasses of SubLTranslatedFile in com.cyc.cycjava.cycl.sksi.sksi_infrastructure

class

sksi_macros

Uses of SubLTranslatedFile in com.cyc.tool.subl.jrtl.translatedCode.sublisp

Subclasses of SubLTranslatedFile in com.cyc.tool.subl.jrtl.translatedCode.sublisp

class	bytes
class	cdestructuring_bind
class	character_names
class	compatibility
class	complex_special_forms
class	condition_macros
class	conses_high
class	environment
class	foreign
class	format
class	math_utilities
class	print_functions
class	print_high
class	print_macros
class	reader
class	stream_macros
class	thread_macros
class	time_high
class	visitation

Uses of SubLTranslatedFile in eu.larkc.core

Subclasses of SubLTranslatedFile in eu.larkc.core

class

LarkcInit Initialization of the LarKC platform.