class And extends Logic {

  @Override
  public String toString() {
    return new StringBuilder().append("And(").append(super.toString())
        .append(")").toString();
  }

  public  And();
  public  And(Constraint... subConstraints);
  public  And(List<Constraint> subConstraints);

}