Answer:Actually in midas Civil, for moving load analysis, the compression only springs or supports are considered as linear by default. Though non-linear supports could be obtained by converting any specific moving load position into static position. However, personally I wouldn't recommend it. Reason being, generally the moving load reactions are much lower than the self weight reaction of the structure. Lets have a look at what will happen if we consider elastic as well as compression only condition for a simple structure and how the reactions will show up for the combination:

Now, lets have a look at what will happen if we consider compression only support condition.
