SHARE
TWEET

Untitled

a guest Jun 3rd, 2019 81 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {
  2.   (* Indices to add *)
  3.   indices_passive = [
  4.     subsumptionIndex;
  5.     lightNormIndex;
  6.   ];
  7.  
  8.   indices_active = [
  9.     fwDemodIndex;
  10.     bwDemodIndex;
  11.   ];
  12.  
  13.   indices_immediate = [
  14.     subsumptionIndex;
  15.     fwDemodIndex;
  16.     bwDemodIndex;
  17.     lightNormIndex;
  18.   ];
  19.  
  20.   indices_input = [
  21.     subsumptionIndex;
  22.     fwDemodIndex;
  23.     bwDemodIndex;
  24.     lightNormIndex;
  25.   ];
  26.  
  27.  
  28.   (* Light simplify, triggered before adding clauses to passive *)
  29.   light_triv = [
  30.     trivRules;
  31.   ];
  32.  
  33.   light_fw = [
  34.     lightNorm;
  35.   ];
  36.  
  37.   light_bw = [
  38.   ];
  39.  
  40.  
  41.   (* Full simplify, triggered on given clause before adding to active *)
  42.   full_triv = [
  43.  
  44.   ];
  45.  
  46.   full_fw = [
  47.     fwDemodLoopTriv;
  48.     fwSubsumptionStrict;
  49.     fwSubsumptionRes;
  50.   ];
  51.  
  52.   full_bw = [
  53.     bwDemod;
  54.     (* bwSubsumption; *)
  55.     (* bwSubsumptionRes; *)
  56.   ];
  57.  
  58.  
  59.   (* Immediate simplify, triggered on conclusions of given clause (cleared every iteration) *)
  60.   (* *_main are simplifications wrt whole set *)
  61.   (* *_immed are simplifications wrt immediate set *)
  62.   immed_triv = [
  63.     trivRules
  64.   ];
  65.  
  66.   immed_fw_main = [
  67.     lightNorm;
  68.     (* fwDemodLoopTriv; *)
  69.     (* fwSubsumption; *)
  70.     (* fwSubsumptionRes; *)
  71.   ];
  72.  
  73.   immed_fw_immed = [
  74.     lightNorm;
  75.     fwDemodLoopTriv;
  76.     fwSubsumption;
  77.     fwSubsumptionRes;
  78.   ];
  79.  
  80.   immed_bw_main = [
  81.  
  82.   ];
  83.  
  84.   immed_bw_immed = [
  85.     bwDemod;
  86.     bwSubsumption;
  87.     bwSubsumptionRes;
  88.   ];
  89.  
  90.  
  91.   (* Input simplify, triggered on input clauses *)
  92.   input_triv = [
  93.     trivRules;
  94.   ];
  95.  
  96.   input_fw = [
  97.     lightNorm;
  98.     fwDemodLoopTriv;
  99.     fwSubsumption;
  100.     fwSubsumptionRes;
  101.   ];
  102.  
  103.   input_bw = [
  104.     bwDemod;
  105.     bwSubsumption;
  106.     bwSubsumptionRes;
  107.   ];
  108. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top