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

Public Member Functions

def __init__
 
def match
 
def __eq__
 
def __repr__
 

Public Attributes

 num
 

Constructor & Destructor Documentation

def test.NumVal.__init__ (   self,
  num 
)

Member Function Documentation

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

Member Data Documentation

test.NumVal.num

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