edu::tum::cs::logic::sat::Clause::TautologyException Class Reference

List of all members.

Public Member Functions
	TautologyException (Disjunction d)
Static Private Attributes
static final long	serialVersionUID = 1L

---

Detailed Description

Definition at line 49 of file Clause.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::Clause::TautologyException::TautologyException

(

Disjunction

d

)

[inline]

Definition at line 52 of file Clause.java.

---

Member Data Documentation

final long edu::tum::cs::logic::sat::Clause::TautologyException::serialVersionUID = 1L [static, private]

Definition at line 50 of file Clause.java.

---

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

• Clause.java