Define INVALID_DL

• Defined in File structures.h

Define Documentation

INVALID_DL

structures.h

Purpose: Defines a set of classes originally created by Marc Thurley include LiteralID, Literal, Antecedent, Variable, and ClauseHeader.

Copyright (C) 2018 Zayd Hammoudeh. All rights reserved.

Author

Zayd Hammoudeh zayd@ucsc.edu

Version

0.00.00

This software may be modified and distributed under the terms of the MIT license. See the LICENSE file for details.

Original Author: Marc Thurley.