Astrogator SetProp is a command that sets the satellite's propagator to Astrogator.
Astrogator <Satellite Object Path> SetProp
There are no attributes or values for this command.
Astrogator */Satellite/Satellite1 SetProp
STK Programming Interface 11.0.1