def has(modelset, g, a):
postgraph = new_graph('postgraph')
return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))
def model_from(g, a):
return Model.model(g, a, new_graph('postgraph'))
def has(modelset, g, a):
postgraph = new_graph('postgraph')
return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))
