Project

General

Profile

Download (1.17 KB)

Bug #4813 » NoVariableTestCase.java

Sergey Smolov, 07/26/2014 01:41 PM

 
package ru.ispras.fortress.solver;

import ru.ispras.fortress.data.Variable;
import ru.ispras.fortress.expression.NodeValue;
import ru.ispras.fortress.solver.constraint.Constraint;
import ru.ispras.fortress.solver.constraint.ConstraintBuilder;
import ru.ispras.fortress.solver.constraint.ConstraintKind;
import ru.ispras.fortress.solver.constraint.Formulas;

public class NoVariableTestCase extends GenericSolverSampleTestBase
{
@Override public ISampleConstraint createSample() { return new NoVariable(); }

public static class NoVariable implements ISampleConstraint
{
@Override public Constraint getConstraint() {
final ConstraintBuilder builder = new ConstraintBuilder();
builder.setName("NoVariable");
builder.setKind(ConstraintKind.FORMULA_BASED);
builder.setDescription("NoVariable constraint");

Formulas formulas = new Formulas();
formulas.add(NodeValue.newBoolean(true));
builder.setInnerRep(formulas);
return builder.build();
}

@Override
public Iterable<Variable> getExpectedVariables() { return null; }
}
}
    (1-1/1)