public SimpleArrayPropertiesAbstractDomain(SimpleArrayPropertiesAbstractDomain <Variable, Expression> source)
: base(source)
{
this.arrayAbstractor = source.arrayAbstractor;
this.encoder = source.encoder;
this.decoder = source.decoder;
}
public SimpleArrayPropertiesAbstractDomain(IExpressionEncoder <Variable, Expression> encoder, IExpressionDecoder <Variable, Expression> decoder)
: base()
{
this.arrayAbstractor = new SimpleArrayAbstraction <Variable, Expression>(encoder, decoder);
this.encoder = encoder;
this.decoder = decoder;
}
protected override T To <T>(Variable d, IArrayAbstraction <Variable, Expression> c, IFactory <T> factory)
{
// TODO
return(factory.Constant(true));
}
protected override string ToLogicalFormula(Variable d, IArrayAbstraction <Variable, Expression> c)
{
// TODO
return(null);
}
