// Path: src/main/java/com/googlecode/rockit/exception/ParseException.java
// public class ParseException extends Exception
// {
// 
//     /**
//      * Exceptions which can occur in the Parse Phase of the application.
//      */
//     private static final long serialVersionUID = -4390051337485101364L;
// 
// 
//     public ParseException()
//     {
//     }
// 
// 
//     public ParseException(String msg)
//     {
//         super(Messages.printParseExceptionError(msg));
//     }
// 
// }
// 
// Path: src/main/java/com/googlecode/rockit/javaAPI/formulas/variables/impl/VariableDouble.java
// public class VariableDouble extends VariableAbstract
// {
//     public VariableDouble()
//     {
//     }
// 
// 
//     public VariableDouble(String name)
//     {
//         this.setName(name);
//     }
// 
// 
//     public String toString()
//     {
//         return this.getName();
//     }
// 
// }
// 
// Path: src/main/java/com/googlecode/rockit/javaAPI/formulas/variables/impl/VariableType.java
// public class VariableType extends VariableAbstract
// {
//     private Type type;
// 
// 
//     public VariableType()
//     {
//     }
// 
// 
//     public VariableType(String name, Type type)
//     {
//         this.setName(name);
//         this.type = type;
//     }
// 
// 
//     public VariableType(String name)
//     {
//         this.setName(name);
//     }
// 
// 
//     public void setType(Type type)
//     {
//         this.type = type;
// 
//     }
// 
// 
//     public Type getType()
//     {
//         return type;
//     }
// 
// 
//     public String toString()
//     {
//         return getName();
//     }
// 
// }


import java.util.ArrayList;
import java.util.HashSet;
import com.googlecode.rockit.exception.ParseException;
import com.googlecode.rockit.javaAPI.formulas.expressions.IfExpression;
import com.googlecode.rockit.javaAPI.formulas.expressions.impl.PredicateExpression;
import com.googlecode.rockit.javaAPI.formulas.variables.impl.VariableDouble;
import com.googlecode.rockit.javaAPI.formulas.variables.impl.VariableType;
package com.googlecode.rockit.javaAPI.formulas;




/**
 * Defines a soft formular. A soft formular is a conjunction of positive or negative literals
 * assigned with a weight.
 * 
 * At the moment this is restricted to a positive weight.
 * 
 * 
 * @author jan
 *
 */

public class FormulaSoft extends FormulaHard
{
// Path: src/main/java/com/googlecode/rockit/exception/ParseException.java
// public class ParseException extends Exception
// {
// 
//     /**
//      * Exceptions which can occur in the Parse Phase of the application.
//      */
//     private static final long serialVersionUID = -4390051337485101364L;
// 
// 
//     public ParseException()
//     {
//     }
// 
// 
//     public ParseException(String msg)
//     {
//         super(Messages.printParseExceptionError(msg));
//     }
// 
// }
// 
// Path: src/main/java/com/googlecode/rockit/javaAPI/formulas/variables/impl/VariableDouble.java
// public class VariableDouble extends VariableAbstract
// {
//     public VariableDouble()
//     {
//     }
// 
// 
//     public VariableDouble(String name)
//     {
//         this.setName(name);
//     }
// 
// 
//     public String toString()
//     {
//         return this.getName();
//     }
// 
// }
// 
// Path: src/main/java/com/googlecode/rockit/javaAPI/formulas/variables/impl/VariableType.java
// public class VariableType extends VariableAbstract
// {
//     private Type type;
// 
// 
//     public VariableType()
//     {
//     }
// 
// 
//     public VariableType(String name, Type type)
//     {
//         this.setName(name);
//         this.type = type;
//     }
// 
// 
//     public VariableType(String name)
//     {
//         this.setName(name);
//     }
// 
// 
//     public void setType(Type type)
//     {
//         this.type = type;
// 
//     }
// 
// 
//     public Type getType()
//     {
//         return type;
//     }
// 
// 
//     public String toString()
//     {
//         return getName();
//     }
// 
// }


// Path: src/main/java/com/googlecode/rockit/javaAPI/formulas/FormulaSoft.java
import java.util.ArrayList;
import java.util.HashSet;
import com.googlecode.rockit.exception.ParseException;
import com.googlecode.rockit.javaAPI.formulas.expressions.IfExpression;
import com.googlecode.rockit.javaAPI.formulas.expressions.impl.PredicateExpression;
import com.googlecode.rockit.javaAPI.formulas.variables.impl.VariableDouble;
import com.googlecode.rockit.javaAPI.formulas.variables.impl.VariableType;

package com.googlecode.rockit.javaAPI.formulas;




/**
 * Defines a soft formular. A soft formular is a conjunction of positive or negative literals
 * assigned with a weight.
 * 
 * At the moment this is restricted to a positive weight.
 * 
 * 
 * @author jan
 *
 */

public class FormulaSoft extends FormulaHard
{
    private VariableDouble doubleVariable;