clingo
|
Public Member Functions | |
def | __init__ |
def | match |
def | __eq__ |
def | __repr__ |
Public Attributes | |
num | |
def test.NumVal.__init__ | ( | self, | |
num | |||
) |
def test.NumVal.__eq__ | ( | self, | |
other | |||
) |
def test.NumVal.__repr__ | ( | self | ) |
def test.NumVal.match | ( | self, | |
node, | |||
other, | |||
subst | |||
) |
test.NumVal.num |