public override IFactQuery <BoxedExpression, TVar> FactQuery
(IFixPointInfo
<APC, INumericalEnvironmentDomain <BoxedVariable <TVar>, BoxedExpression>
> fixpoint)
{
return(new ConstantPropagationFactQuery <TVar> ());
}
public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, Domain <E, V> > fixPointInfo)
{
this.fix_point_info = fixPointInfo;
//todo: implement this
return(pc => true);
}
public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, bool> fixPointInfo)
{
return(null);
}
public abstract IFactQuery <BoxedExpression, TVar> FactQuery(
IFixPointInfo <APC, TDomain> fixpoint);
public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, TDomain> fixPointInfo)
{
FixPointInfo = fixPointInfo;
return(a => false);
}
public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, ExprDomain <SymbolicValue> > fixPointInfo)
{
this.parent.SaveFixPointInfo(fixPointInfo);
return(pc => true);
}
public void SaveFixPointInfo(IFixPointInfo <APC, ExprDomain <TSymValue> > fixPointInfo)
{
this.fix_point_info = fixPointInfo;
}
public Predicate <APC> SaveFixPointInfo(IFixPointInfo <APC, Domain> fixPointInfo)
{
this.fixPointInfo = fixPointInfo;
return(pc => true);
}