theory_records.h File Reference

#include "theory.h"

Include dependency graph for theory_records.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

• class CVC3::TheoryRecords

  This theory handles records. More...
  

Namespaces

• namespace CVC3

Enumerations

• enum CVC3::RecordKinds {
    CVC3::RECORD = 2500, CVC3::RECORD_SELECT, CVC3::RECORD_UPDATE, CVC3::RECORD_TYPE,
    CVC3::TUPLE, CVC3::TUPLE_SELECT, CVC3::TUPLE_UPDATE, CVC3::TUPLE_TYPE
  }

---

Detailed Description

Author: Daniel Wichs

Created: 7/22/03

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file theory_records.h.