clingo
|
Functions | |
def | test3 |
def | test |
Variables | |
tuple | a = gringo.Control(["0"]) |
tuple | b = gringo.Sup() |
tuple | c = gringo.Fun("a", [a, b]) |
tuple | d = gringo.Inf() |
tuple | e = gringo.Inf() |
def pyclingo.test | ( | ) |
def pyclingo.test3 | ( | ) |
tuple pyclingo.a = gringo.Control(["0"]) |
tuple pyclingo.b = gringo.Sup() |
tuple pyclingo.c = gringo.Fun("a", [a, b]) |
tuple pyclingo.d = gringo.Inf() |
tuple pyclingo.e = gringo.Inf() |