Conflict in state 10 between rule 2 and token '|' resolved as reduce.
Conflict in state 10 between rule 2 and token '^' resolved as reduce.
Conflict in state 10 between rule 2 and token '&' resolved as shift.
Conflict in state 11 between rule 3 and token '|' resolved as reduce.
Conflict in state 11 between rule 3 and token '^' resolved as reduce.
Conflict in state 11 between rule 3 and token '&' resolved as shift.
Conflict in state 12 between rule 4 and token '|' resolved as reduce.
Conflict in state 12 between rule 4 and token '^' resolved as reduce.
Conflict in state 12 between rule 4 and token '&' resolved as reduce.
Grammar
rule 1 bool -> '(' bool ')'
rule 2 bool -> bool '|' bool
rule 3 bool -> bool '^' bool
rule 4 bool -> bool '&' bool
rule 5 bool -> ATOM
rule 6 bool -> CONSTANT
Terminals, with rules where they appear
$ (-1)
'&' (38) 4
'(' (40) 1
')' (41) 1
'^' (94) 3
'|' (124) 2
error (256)
ATOM (258) 5
CONSTANT (259) 6
Nonterminals, with rules where they appear
bool (10)
on left: 1 2 3 4 5 6, on right: 1 2 3 4
state 0
ATOM shift, and go to state 1
CONSTANT shift, and go to state 2
'(' shift, and go to state 3
bool go to state 4
state 1
bool -> ATOM . (rule 5)
$default reduce using rule 5 (bool)
state 2
bool -> CONSTANT . (rule 6)
$default reduce using rule 6 (bool)
state 3
bool -> '(' . bool ')' (rule 1)
ATOM shift, and go to state 1
CONSTANT shift, and go to state 2
'(' shift, and go to state 3
bool go to state 5
state 4
bool -> bool . '|' bool (rule 2)
bool -> bool . '^' bool (rule 3)
bool -> bool . '&' bool (rule 4)
$ go to state 13
'|' shift, and go to state 6
'^' shift, and go to state 7
'&' shift, and go to state 8
state 5
bool -> '(' bool . ')' (rule 1)
bool -> bool . '|' bool (rule 2)
bool -> bool . '^' bool (rule 3)
bool -> bool . '&' bool (rule 4)
'|' shift, and go to state 6
'^' shift, and go to state 7
'&' shift, and go to state 8
')' shift, and go to state 9
state 6
bool -> bool '|' . bool (rule 2)
ATOM shift, and go to state 1
CONSTANT shift, and go to state 2
'(' shift, and go to state 3
bool go to state 10
state 7
bool -> bool '^' . bool (rule 3)
ATOM shift, and go to state 1
CONSTANT shift, and go to state 2
'(' shift, and go to state 3
bool go to state 11
state 8
bool -> bool '&' . bool (rule 4)
ATOM shift, and go to state 1
CONSTANT shift, and go to state 2
'(' shift, and go to state 3
bool go to state 12
state 9
bool -> '(' bool ')' . (rule 1)
$default reduce using rule 1 (bool)
state 10
bool -> bool . '|' bool (rule 2)
bool -> bool '|' bool . (rule 2)
bool -> bool . '^' bool (rule 3)
bool -> bool . '&' bool (rule 4)
'&' shift, and go to state 8
$default reduce using rule 2 (bool)
state 11
bool -> bool . '|' bool (rule 2)
bool -> bool . '^' bool (rule 3)
bool -> bool '^' bool . (rule 3)
bool -> bool . '&' bool (rule 4)
'&' shift, and go to state 8
$default reduce using rule 3 (bool)
state 12
bool -> bool . '|' bool (rule 2)
bool -> bool . '^' bool (rule 3)
bool -> bool . '&' bool (rule 4)
bool -> bool '&' bool . (rule 4)
$default reduce using rule 4 (bool)
state 13
$ go to state 14
state 14
$default accept