Ejemplo n.º 1
0
def has(modelset, g, a):
    postgraph = new_graph('postgraph')
    return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))
Ejemplo n.º 2
0
def model_from(g, a):
    return Model.model(g, a, new_graph('postgraph'))
Ejemplo n.º 3
0
def has(modelset, g, a):
    postgraph = new_graph('postgraph')
    return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))