APT.all-test.dice-model-bot-new.Impasse_Tie.compute-alternative-dice-counts.cbpwad.compute-dice-counts.soar Maven / Gradle / Ivy

Go to download
sp {compute-bid-probability-with-assumed-dice*propose*compute-dice-counts
   (state  ^name compute-bid-probability-with-assumed-dice
             -^dice-counts.dice-count.face unknown)
-->
   ( ^operator  + =)
   ( ^name compute-dice-counts)
}

sp {apply*compute-dice-counts*unchanged
   (state  ^operator 
              ^dice-counts 
              ^top-state.alternative-dice-counts.dice-count 
              ^superstate )
   ( ^last-bid.face )
   ( ^face { <> unknown <>  })
   ( ^name compute-dice-counts)
-->
   ( ^dice-count )
}

sp {apply*compute-dice-counts*unknown
   (state  ^operator 
              ^dice-counts 
              ^top-state.alternative-dice-counts.dice-count 
              ^superstate )
   ( ^operator.holds 
         ^last-bid )
   ( ^face 
         ^player.cup.count )
   ( ^face unknown
          ^count )
   ( ^name compute-dice-counts)
-->
   ( ^dice-count )
   ( ^face unknown
          ^count (-  ))  ## Assume ones that aren't bid face can't contribute to bid face
}

sp {apply*compute-dice-counts*bid-face
   (state  ^operator 
              ^dice-counts 
              ^top-state.alternative-dice-counts.dice-count 
              ^superstate )
   ( ^operator.holds 
         ^last-bid.face )
   ( ^face 
          ^count )
   ( ^name compute-dice-counts)
-->
   ( ^dice-count )
   ( ^face 
          ^count (+  ))
}