コード例 #1
0
ファイル: One.java プロジェクト: ckaestne/vbc
 @Override
 public V<T> reduce(@Nonnull FeatureExpr reducedConfigSpace) {
   assert reducedConfigSpace != null;
   FeatureExpr newCondition = configSpace.and(reducedConfigSpace);
   if (newCondition.isSatisfiable()) return new One(newCondition, value);
   else return VEmpty.instance();
 }
コード例 #2
0
ファイル: One.java プロジェクト: ckaestne/varex2
  @Override
  public V<T> select(FeatureExpr selectConfigSpace) {
    assert selectConfigSpace.implies(configSpace).isTautology()
        : "selecting under broader condition ("
            + selectConfigSpace
            + ") than the configuration space described by One ("
            + configSpace
            + ")";

    FeatureExpr newCondition = configSpace.and(selectConfigSpace);
    if (newCondition.isSatisfiable()) return new One(newCondition, value);
    else return VEmpty.instance();
  }