279 lines
6.7 KiB
Text
Generated
279 lines
6.7 KiB
Text
Generated
'(!*******************************************************\n Multiline comment\n*******************************************************!)' Comment.Multiline
|
|
'\n' Text
|
|
|
|
'model' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
"'" Literal.String.Single
|
|
'pygments test' Literal.String.Single
|
|
"'" Literal.String.Single
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'uses' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'"' Literal.String.Double
|
|
'mmxprs' Literal.String.Double
|
|
'"' Literal.String.Double
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'forward' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'public' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'procedure' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'main' Text
|
|
' ' Text.Whitespace
|
|
'! Test forward declaration\n' Comment.Single
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'public' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'procedure' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'main' Text
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'declarations' Keyword.Builtin
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'MySet' Text
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
' ' Text.Whitespace
|
|
'{' Punctuation
|
|
'1' Literal.Number.Integer
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'2' Literal.Number.Integer
|
|
'}' Punctuation
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'I' Text
|
|
':' Operator
|
|
' ' Text.Whitespace
|
|
'range' Keyword.Type
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'Coefficients' Text
|
|
':' Operator
|
|
' ' Text.Whitespace
|
|
'array' Keyword.Type
|
|
'(' Punctuation
|
|
'I' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'of' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'real' Keyword.Type
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
':' Operator
|
|
' ' Text.Whitespace
|
|
'array' Keyword.Type
|
|
'(' Punctuation
|
|
'I' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'of' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'mpvar' Keyword.Type
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'end-' Keyword.Builtin
|
|
'declarations' Keyword.Builtin
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'Coefficients' Text
|
|
' ' Text.Whitespace
|
|
'::' Operator
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'2.2' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'-' Operator
|
|
'3.3' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'4.4' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'5.5' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'1.1' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'-' Operator
|
|
'3.3' Literal.Number.Float
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'7.7' Literal.Number.Float
|
|
']' Punctuation
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'! Single line comment\n' Comment.Single
|
|
|
|
' ' Text.Whitespace
|
|
'forall' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'i' Text
|
|
' ' Text.Whitespace
|
|
'in' Operator
|
|
' ' Text.Whitespace
|
|
'I' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'is_binary' Keyword.Type
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'! Constraint\n' Comment.Single
|
|
|
|
' ' Text.Whitespace
|
|
'sum' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'i' Text
|
|
' ' Text.Whitespace
|
|
'in' Operator
|
|
' ' Text.Whitespace
|
|
'I' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'<=' Operator
|
|
' ' Text.Whitespace
|
|
'3' Literal.Number.Integer
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'maximize' Name.Function
|
|
'(' Punctuation
|
|
'sum' Keyword.Builtin
|
|
'(' Punctuation
|
|
'i' Text
|
|
' ' Text.Whitespace
|
|
'in' Operator
|
|
' ' Text.Whitespace
|
|
'I' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'Coefficients' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'*' Operator
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
'))' Punctuation
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'forall' Keyword.Builtin
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'i' Text
|
|
' ' Text.Whitespace
|
|
'in' Operator
|
|
' ' Text.Whitespace
|
|
'I' Text
|
|
'|' Operator
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
')' Punctuation
|
|
'.' Operator
|
|
'sol' Text
|
|
' ' Text.Whitespace
|
|
'<' Operator
|
|
'>' Operator
|
|
' ' Text.Whitespace
|
|
'0' Literal.Number.Integer
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'do' Keyword.Builtin
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'writeln' Name.Function
|
|
'(' Punctuation
|
|
'"' Literal.String.Double
|
|
'Vars(' Literal.String.Double
|
|
'"' Literal.String.Double
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'i' Text
|
|
',' Punctuation
|
|
'"' Literal.String.Double
|
|
') = ' Literal.String.Double
|
|
'"' Literal.String.Double
|
|
',' Punctuation
|
|
' ' Text.Whitespace
|
|
'Vars' Text
|
|
'(' Punctuation
|
|
'i' Text
|
|
')' Punctuation
|
|
'.' Operator
|
|
'sol' Text
|
|
')' Punctuation
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'end-' Keyword.Builtin
|
|
'do' Keyword.Builtin
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'end-' Keyword.Builtin
|
|
'procedure' Keyword.Builtin
|
|
'\n' Text
|
|
|
|
'\n' Text
|
|
|
|
' ' Text.Whitespace
|
|
'main' Text
|
|
'\n' Text
|
|
|
|
'end-' Keyword.Builtin
|
|
'model' Keyword.Builtin
|
|
'\n' Text
|