def p_min_weighted_body_1(self, p):
""" min_weighted_body : min_weight min_tuple COLON bfvec_x
| min_weight min_tuple COLON
| min_weight min_tuple
"""
if len(p) == 5:
p[0] = ast.WBody(p[1] + p[2], p[4])
else:
p[0] = ast.WBody(p[1] + p[2], [["ext_atom", ["true", ["#true"]]]])
def p_weighted_body_7(self, p):
""" weighted_body : ntermvec_x TWO_COLON POW_NO_WS term
"""
p[0] = ast.WBody(p[1], p[4], True)
def p_weighted_body_6(self, p):
""" weighted_body : POW_NO_WS term
"""
p[0] = ast.WBody(None, p[2], True)
def p_weighted_body_5(self, p):
""" weighted_body : ntermvec_x TWO_COLON
"""
p[0] = ast.WBody(p[1], [["ext_atom", ["true", ["#true"]]]])
def p_weighted_body_3(self, p):
""" weighted_body : ntermvec_x TWO_COLON bfvec_x
"""
p[0] = ast.WBody(p[1], p[3])
def p_weighted_body_1(self, p):
""" weighted_body : bfvec_x
"""
p[0] = ast.WBody(None, p[1])