edu::tum::cs::logic::sat::weighted::WeightedClause Class Reference

Inheritance diagram for edu::tum::cs::logic::sat::weighted::WeightedClause:

[legend]

List of all members.

Public Member Functions
String	toString ()
	WeightedClause (Formula f, double weight, boolean hard) throws Exception
Public Attributes
boolean	isHard
double	weight

---

Detailed Description

represents a weighted clause

Author:

jain

Definition at line 12 of file WeightedClause.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::weighted::WeightedClause::WeightedClause	(	Formula	f,
		double	weight,
		boolean	hard
	)			throws Exception [inline]

Constructor to instantiate a weighted clause

Parameters:

	f
	weight
	hard

Exceptions:

java.lang.Exception

Definition at line 27 of file WeightedClause.java.

---

Member Function Documentation

String edu::tum::cs::logic::sat::weighted::WeightedClause::toString

(

)

[inline]

Reimplemented from edu::tum::cs::logic::sat::Clause.

Definition at line 33 of file WeightedClause.java.

---

Member Data Documentation

boolean edu::tum::cs::logic::sat::weighted::WeightedClause::isHard

whether the clause is to be considered a hard constraint

Definition at line 18 of file WeightedClause.java.

double edu::tum::cs::logic::sat::weighted::WeightedClause::weight

Definition at line 14 of file WeightedClause.java.

---

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

• WeightedClause.java