dlvhex  2.5.0
TestModelPropertyBase Struct Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for TestModelPropertyBase:

Public Member Functions

 TestModelPropertyBase ()
 TestModelPropertyBase (const TestInterpretation &interpretation)

Data Fields

TestInterpretation interpretation

Detailed Description

Definition at line 244 of file dummytypes.h.


Constructor & Destructor Documentation

Definition at line 249 of file dummytypes.h.

Definition at line 250 of file dummytypes.h.


Field Documentation


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