GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
CompliantUserProxyForSequenceExecution Class
Namespacesde.unika.ipd.grGen.libGrCompliantUserProxyForSequenceExecution
A proxy simulating an always compliant user for choices during sequence execution, always returns the suggested choice. Used for sequence execution without debugger.
Declaration Syntax
C#
public class CompliantUserProxyForSequenceExecution : IUserProxyForSequenceExecution
Members
Inheritance Hierarchy
Object
CompliantUserProxyForSequenceExecution

Assembly: libGr (Module: libGr) Version: 4.4.0.0 (4.4.0.0)