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

List of all members.

Public Member Functions
String	toString ()
	WeightedFormula (Formula f, double weight, boolean isHard)
Public Attributes
Formula	formula
boolean	isHard
double	weight

---

Detailed Description

Definition at line 11 of file WeightedFormula.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::weighted::WeightedFormula::WeightedFormula	(	Formula	f,
		double	weight,
		boolean	isHard
	)			[inline]

Definition at line 16 of file WeightedFormula.java.

---

Member Function Documentation

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

(

)

[inline]

Definition at line 22 of file WeightedFormula.java.

---

Member Data Documentation

Formula edu::tum::cs::logic::sat::weighted::WeightedFormula::formula

Definition at line 12 of file WeightedFormula.java.

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

Definition at line 14 of file WeightedFormula.java.

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

Definition at line 13 of file WeightedFormula.java.

---

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

• WeightedFormula.java