class Rouge::Lexers::MiniZinc
Public Class Methods
builtins()
click to toggle source
# File lib/rouge/lexers/minizinc.rb, line 15 def self.builtins @builtins = Set.new %w[ abort abs acosh array_intersect array_union array1d array2d array3d array4d array5d array6d asin assert atan bool2int card ceil concat cos cosh dom dom_array dom_size fix exp floor index_set index_set_1of2 index_set_2of2 index_set_1of3 index_set_2of3 index_set_3of3 int2float is_fixed join lb lb_array length ln log log2 log10 min max pow product round set2array show show_int show_float sin sinh sqrt sum tan tanh trace ub ub_array ] end
keywords()
click to toggle source
# File lib/rouge/lexers/minizinc.rb, line 27 def self.keywords @keywords = Set.new %w[ ann annotation any constraint else endif function for forall if include list of op output minimize maximize par predicate record satisfy solve test then type var where ] end
keywords_type()
click to toggle source
# File lib/rouge/lexers/minizinc.rb, line 35 def self.keywords_type @keywords_type ||= Set.new %w( array set bool enum float int string tuple ) end
operators()
click to toggle source
# File lib/rouge/lexers/minizinc.rb, line 41 def self.operators @operators ||= Set.new %w( in subset superset union diff symdiff intersect ) end