WeightedClause.java

Go to the documentation of this file.

package edu.tum.cs.logic.sat.weighted;


import edu.tum.cs.logic.Formula;
import edu.tum.cs.logic.sat.Clause;


public class WeightedClause extends Clause {

    public double weight;
    public boolean isHard;

    public WeightedClause(Formula f, double weight, boolean hard) throws Exception {
        super(f);
        this.weight = weight;
        this.isHard = hard;        
    }

    public String toString() {
        return weight + " " + super.toString();
    }
}

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:30 2013