internal ThreadInstantiator(Expr InstantiationExpr, int Thread,
UniformityAnalyser Uni, string ProcName)
{
this.InstantiationExpr = InstantiationExpr;
this.Thread = Thread;
this.Uni = Uni;
this.ProcName = ProcName;
}
public VariableDualiser(int id, GPUVerifier verifier, string procName)
{
this.id = id;
this.verifier = verifier;
this.uniformityAnalyser = verifier.UniformityAnalyser;
this.procName = procName;
this.quantifiedVars = new HashSet<Variable>();
}
public ThreadInstantiator(
Expr instantiationExpr, int thread, GPUVerifier verifier, string procName)
{
this.instantiationExpr = instantiationExpr;
this.thread = thread;
this.verifier = verifier;
this.uni = verifier.UniformityAnalyser;
this.procName = procName;
}
public VariableDualiser(int id, UniformityAnalyser uniformityAnalyser, string procName)
{
Debug.Assert((uniformityAnalyser == null && procName == null) ||
(uniformityAnalyser != null && procName != null));
this.id = id;
this.uniformityAnalyser = uniformityAnalyser;
this.procName = procName;
this.quantifiedVars = new HashSet <Variable>();
}
