public AccessCollector(IKernelArrayInfo state) { State = state; }
public ConstantWriteCollector(IKernelArrayInfo State) : base(State) { }
public ConstantWriteInstrumenter(GPUVerifier verifier) { this.verifier = verifier; stateToCheck = verifier.KernelArrayInfo; }
public AccessCollector(IKernelArrayInfo State) { this.State = State; }
public ReadCollector(IKernelArrayInfo State) : base(State) { }
public NoAccessInstrumenter(GPUVerifier verifier) { this.verifier = verifier; StateToCheck = verifier.KernelArrayInfo; }
public WriteCollector(IKernelArrayInfo state) : base(state) { }