The post-shock flow velocity and vorticity can therefore be computed via the Crocco's theorem, which is independent of any EOS (equation of state) assuming inviscid flow.
Crocco's theorem allows for the computation of post-shock flow velocity and rotation, which is independent of any thermodynamic model (equation of state) under the condition of inviscid flow.