clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | Public Attributes | List of all members
test.FunVal Class Reference
Collaboration diagram for test.FunVal:
Collaboration graph

Public Member Functions

def __init__
 
def match
 
def sig
 
def __eq__
 
def __repr__
 

Public Attributes

 name
 
 args
 

Constructor & Destructor Documentation

def test.FunVal.__init__ (   self,
  name,
  args 
)

Member Function Documentation

def test.FunVal.__eq__ (   self,
  other 
)
def test.FunVal.__repr__ (   self)
def test.FunVal.match (   self,
  node,
  other,
  subst 
)
def test.FunVal.sig (   self)

Member Data Documentation

test.FunVal.args
test.FunVal.name

The documentation for this class was generated from the following file: