def p_observfluent_def(self, p):
'''observfluent_def : IDENT LPAREN param_list RPAREN COLON LCURLY OBSERVATION COMMA type_spec RCURLY SEMI
| IDENT COLON LCURLY OBSERVATION COMMA type_spec RCURLY SEMI'''
if len(p) == 12:
p[0] = PVariable(name=p[1],
fluent_type='observ-fluent',
range_type=p[9],
param_types=p[3])
else:
p[0] = PVariable(name=p[1],
fluent_type='observ-fluent',
range_type=p[6])
def p_intermfluent_def(self, p):
'''intermfluent_def : IDENT LPAREN param_list RPAREN COLON LCURLY INTERMEDIATE COMMA type_spec COMMA LEVEL ASSIGN_EQUAL range_const RCURLY SEMI
| IDENT COLON LCURLY INTERMEDIATE COMMA type_spec COMMA LEVEL ASSIGN_EQUAL range_const RCURLY SEMI'''
if len(p) == 16:
p[0] = PVariable(name=p[1],
fluent_type='interm-fluent',
range_type=p[9],
param_types=p[3],
level=p[13])
else:
p[0] = PVariable(name=p[1],
fluent_type='interm-fluent',
range_type=p[6],
level=p[10])
def p_actionfluent_def(self, p):
'''actionfluent_def : IDENT LPAREN param_list RPAREN COLON LCURLY ACTION COMMA type_spec COMMA DEFAULT ASSIGN_EQUAL range_const RCURLY SEMI
| IDENT COLON LCURLY ACTION COMMA type_spec COMMA DEFAULT ASSIGN_EQUAL range_const RCURLY SEMI'''
if len(p) == 16:
p[0] = PVariable(name=p[1],
fluent_type='action-fluent',
range_type=p[9],
param_types=p[3],
default=p[13])
else:
p[0] = PVariable(name=p[1],
fluent_type='action-fluent',
range_type=p[6],
default=p[10])