;
; this player was used to test the quantifiers with the support code
; 

(define betting-rules
  '((forall x in other/players
	    (#t ==> (assert bluffing x)))
    ((forall y in other/players (poker:> straight-flush (hi-hand y))
	     (= (random 3) 2))
     ==> (raise max-raise))
    ((exists y in other/players (poker:> straight-flush (hi-hand y))
	     (= (random 3) 2))
     ==> (raise max-raise))))

(define declaration-rules
  '(((poker:> my/hand two-pairs) ==> (declare-high))
    ((= (random 3) 2) ==> (declare-low))
    (#t ==> (declare-high))))

(define poker-player (list 'sharky
			   "W. Huang"
			   betting-rules
			   declaration-rules
			   (lambda () '())))

; controls what information about this player is printed to the screen
(define *print-to-screen*
  '(state-info rule-firings predicate-matching action-execution))

; allows you to specify what information is saved to a file.  the
; first element is the filename, the second is what top-level
; information is printed, and the third element is what information
; about this player is printed.
; 
; this doesn't quite seem to be working at the moment.  it does
; produce an output file, but not with everything that it should have
; in it...
; 
(define *print-to-file*
  '("player5.txt"
    (table-info all-cards betting declarations showdown)
    (state-info rule-firings predicate-matching action-execution)))