clingo
|
Public Member Functions | |
def | __init__ |
def | match |
def | sig |
def | __eq__ |
def | __repr__ |
Public Attributes | |
name | |
args | |
def test.FunVal.__init__ | ( | self, | |
name, | |||
args | |||
) |
def test.FunVal.__eq__ | ( | self, | |
other | |||
) |
def test.FunVal.__repr__ | ( | self | ) |
def test.FunVal.match | ( | self, | |
node, | |||
other, | |||
subst | |||
) |
def test.FunVal.sig | ( | self | ) |
test.FunVal.args |
test.FunVal.name |