question: public static TLAExpr DefaultVarInit ( ) { Vector line = new Vector ( ) ; line . addElement ( new TLAToken ( "defaultInitValue" , 0 , 0 ) ) ; Vector vec = new Vector ( ) ; vec . addElement ( line ) ; TLAExpr exp = new TLAExpr ( vec ) ; exp . normalize ( ) ; return exp ; }
target:  Parameters related to language definition.                             