package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk.PragUnifParamsSource

Sourceval k_max_depth : int Flex_state.key
Sourceval k_max_app_projections : int Flex_state.key
Sourceval k_max_var_imitations : int Flex_state.key
Sourceval k_max_rigid_imitations : int Flex_state.key
Sourceval k_max_identifications : int Flex_state.key
Sourceval k_max_elims : int Flex_state.key
Sourceval k_imit_first : bool Flex_state.key
Sourceval k_pattern_decider : bool Flex_state.key
Sourceval k_solid_decider : bool Flex_state.key
Sourceval k_fixpoint_decider : bool Flex_state.key
Sourceval k_solidification_limit : int Flex_state.key
Sourceval k_max_inferences : int Flex_state.key
Sourceval k_max_unifs_solid_ff : int Flex_state.key
Sourceval k_use_weight_for_solid_subsumption : bool Flex_state.key
Sourceval k_skip_multiplier : float Flex_state.key