\documentclass[10pt,a4paper]{article}

% Packages
\usepackage{fancyhdr}           % For header and footer
\usepackage{multicol}           % Allows multicols in tables
\usepackage{tabularx}           % Intelligent column widths
\usepackage{tabulary}           % Used in header and footer
\usepackage{hhline}             % Border under tables
\usepackage{graphicx}           % For images
\usepackage{xcolor}             % For hex colours
%\usepackage[utf8x]{inputenc}    % For unicode character support
\usepackage[T1]{fontenc}        % Without this we get weird character replacements
\usepackage{colortbl}           % For coloured tables
\usepackage{setspace}           % For line height
\usepackage{lastpage}           % Needed for total page number
\usepackage{seqsplit}           % Splits long words.
%\usepackage{opensans}          % Can't make this work so far. Shame. Would be lovely.
\usepackage[normalem]{ulem}     % For underlining links
% Most of the following are not required for the majority
% of cheat sheets but are needed for some symbol support.
\usepackage{amsmath}            % Symbols
\usepackage{MnSymbol}           % Symbols
\usepackage{wasysym}            % Symbols
%\usepackage[english,german,french,spanish,italian]{babel}              % Languages

% Document Info
\author{eliads}
\pdfinfo{
  /Title (nituz3.pdf)
  /Creator (Cheatography)
  /Author (eliads)
  /Subject (Nituz3 Cheat Sheet)
}

% Lengths and widths
\addtolength{\textwidth}{6cm}
\addtolength{\textheight}{-1cm}
\addtolength{\hoffset}{-3cm}
\addtolength{\voffset}{-2cm}
\setlength{\tabcolsep}{0.2cm} % Space between columns
\setlength{\headsep}{-12pt} % Reduce space between header and content
\setlength{\headheight}{85pt} % If less, LaTeX automatically increases it
\renewcommand{\footrulewidth}{0pt} % Remove footer line
\renewcommand{\headrulewidth}{0pt} % Remove header line
\renewcommand{\seqinsert}{\ifmmode\allowbreak\else\-\fi} % Hyphens in seqsplit
% This two commands together give roughly
% the right line height in the tables
\renewcommand{\arraystretch}{1.3}
\onehalfspacing

% Commands
\newcommand{\SetRowColor}[1]{\noalign{\gdef\RowColorName{#1}}\rowcolor{\RowColorName}} % Shortcut for row colour
\newcommand{\mymulticolumn}[3]{\multicolumn{#1}{>{\columncolor{\RowColorName}}#2}{#3}} % For coloured multi-cols
\newcolumntype{x}[1]{>{\raggedright}p{#1}} % New column types for ragged-right paragraph columns
\newcommand{\tn}{\tabularnewline} % Required as custom column type in use

% Font and Colours
\definecolor{HeadBackground}{HTML}{333333}
\definecolor{FootBackground}{HTML}{666666}
\definecolor{TextColor}{HTML}{333333}
\definecolor{DarkBackground}{HTML}{0B8F1D}
\definecolor{LightBackground}{HTML}{F7FBF7}
\renewcommand{\familydefault}{\sfdefault}
\color{TextColor}

% Header and Footer
\pagestyle{fancy}
\fancyhead{} % Set header to blank
\fancyfoot{} % Set footer to blank
\fancyhead[L]{
\noindent
\begin{multicols}{3}
\begin{tabulary}{5.8cm}{C}
    \SetRowColor{DarkBackground}
    \vspace{-7pt}
    {\parbox{\dimexpr\textwidth-2\fboxsep\relax}{\noindent
        \hspace*{-6pt}\includegraphics[width=5.8cm]{/web/www.cheatography.com/public/images/cheatography_logo.pdf}}
    }
\end{tabulary}
\columnbreak
\begin{tabulary}{11cm}{L}
    \vspace{-2pt}\large{\bf{\textcolor{DarkBackground}{\textrm{Nituz3 Cheat Sheet}}}} \\
    \normalsize{by \textcolor{DarkBackground}{eliads} via \textcolor{DarkBackground}{\uline{cheatography.com/84590/cs/19985/}}}
\end{tabulary}
\end{multicols}}

\fancyfoot[L]{ \footnotesize
\noindent
\begin{multicols}{3}
\begin{tabulary}{5.8cm}{LL}
  \SetRowColor{FootBackground}
  \mymulticolumn{2}{p{5.377cm}}{\bf\textcolor{white}{Cheatographer}}  \\
  \vspace{-2pt}eliads \\
  \uline{cheatography.com/eliads} \\
  \end{tabulary}
\vfill
\columnbreak
\begin{tabulary}{5.8cm}{L}
  \SetRowColor{FootBackground}
  \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Cheat Sheet}}  \\
   \vspace{-2pt}Not Yet Published.\\
   Updated 4th July, 2019.\\
   Page {\thepage} of \pageref{LastPage}.
\end{tabulary}
\vfill
\columnbreak
\begin{tabulary}{5.8cm}{L}
  \SetRowColor{FootBackground}
  \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Sponsor}}  \\
  \SetRowColor{white}
  \vspace{-5pt}
  %\includegraphics[width=48px,height=48px]{dave.jpeg}
  Measure your website readability!\\
  www.readability-score.com
\end{tabulary}
\end{multicols}}




\begin{document}
\raggedright
\raggedcolumns

% Set font size to small. Switch to any value
% from this page to resize cheat sheet text:
% www.emerson.emory.edu/services/latex/latex_169.html
\footnotesize % Small font.

\begin{multicols*}{2}

\begin{tabularx}{8.4cm}{X}
\SetRowColor{DarkBackground}
\mymulticolumn{1}{x{8.4cm}}{\bf\textcolor{white}{Examples For OCL USE:}}  \tn
\SetRowColor{LightBackground}
\mymulticolumn{1}{x{8.4cm}}{-context Person inv:  \newline Wife-\textgreater{}notEmpty() {\bf{implies}} \newline (wife.gender=Gender::female and \seqsplit{self.gender=Gender::male)} \newline  \newline -Collection-\textgreater{}size() : Integer,  is equal to: \newline collection –\textgreater{} iterate(elem; acc : Integer = 0 | acc + 1) \newline  \newline -Collection-\textgreater{}includes(object : OclAny) : Boolean , is equal to: \newline (collection-\textgreater{}count(object)\textgreater{}0) \newline  \newline -Collection-\textgreater{}exists(expr : OclExpression) : Boolean, is equal to: \newline collection-\textgreater{}iterate(elem; acc : Boolean = false | acc or expr) \newline  \newline -context c : Company inv: \newline c.numberOfEmployees \textgreater{} 50 \newline  \newline -context c : Company inv enoughEmployees: \newline c.numberOfEmployees \textgreater{} 50 \newline  \newline -context \seqsplit{Typename::operationName(param1} : Type1, ... ): ReturnType \newline pre : param1 \textgreater{} ... \newline post: result = ... \newline  \newline -context Person::income(d : Date) : Integer \newline post: result = 5000 \newline  \newline -context Person inv: \newline self.wife-\textgreater{}notEmpty() implies self.wife.age \textgreater{}= 18 and \newline self.husband-\textgreater{}notEmpty() implies self.husband.age \textgreater{}= 18} \tn 
\hhline{>{\arrayrulecolor{DarkBackground}}-}
\end{tabularx}
\par\addvspace{1.3em}

\begin{tabularx}{8.4cm}{x{3.44 cm} x{4.56 cm} }
\SetRowColor{DarkBackground}
\mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{OCL - OPERATORS}}  \tn
% Row 0
\SetRowColor{LightBackground}
\{\{ar\}\} גרירה לוגית & A {\bf{implies}} B \tn 
% Row Count 2 (+ 2)
% Row 1
\SetRowColor{white}
Boolean operators & and , or , xor , not , if-then-else \tn 
% Row Count 4 (+ 2)
% Row 2
\SetRowColor{LightBackground}
Integer operators & * , + , - ,  / , \textgreater{} , \textless{} .. \tn 
% Row Count 6 (+ 2)
% Row 3
\SetRowColor{white}
Real operators & * , + , - ,  / , \textgreater{} , \textless{} .. \tn 
% Row Count 8 (+ 2)
% Row 4
\SetRowColor{LightBackground}
String operators & toUpper , toLower , concat  , size .. \tn 
% Row Count 10 (+ 2)
\hhline{>{\arrayrulecolor{DarkBackground}}--}
\end{tabularx}
\par\addvspace{1.3em}

\begin{tabularx}{8.4cm}{x{2.56 cm} x{5.44 cm} }
\SetRowColor{DarkBackground}
\mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{OCL - FUNCTIONS}}  \tn
% Row 0
\SetRowColor{LightBackground}
\seqsplit{self.oclIsTypeOf(T)} & true iff self is of type T \tn 
% Row Count 2 (+ 2)
% Row 1
\SetRowColor{white}
\seqsplit{self.oclIsKindOf(T)} & true iff self is of type T or subtype of T \tn 
% Row Count 4 (+ 2)
% Row 2
\SetRowColor{LightBackground}
\seqsplit{Self.oclAsType(T)} & casts 'self' to type T \tn 
% Row Count 6 (+ 2)
% Row 3
\SetRowColor{white}
\seqsplit{T.allInstances} & collection of all created instances of type T \tn 
% Row Count 8 (+ 2)
\hhline{>{\arrayrulecolor{DarkBackground}}--}
\end{tabularx}
\par\addvspace{1.3em}

\begin{tabularx}{8.4cm}{x{4.08 cm} x{3.92 cm} }
\SetRowColor{DarkBackground}
\mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{OCL - FUNCTIONS}}  \tn
% Row 0
\SetRowColor{LightBackground}
אוסף ריק\{\{ar\}\} & isEmpty() \tn 
% Row Count 2 (+ 2)
% Row 1
\SetRowColor{white}
אוסף לא ריק \{\{ar\}\} & NotEmpty() \tn 
% Row Count 4 (+ 2)
% Row 2
\SetRowColor{LightBackground}
קיים לפחות איבר אחד באוסף המקיים את התנאי\{\{ar\}\} & exists ( e:T | \textless{}b.e.\textgreater{}) \tn 
% Row Count 9 (+ 5)
% Row 3
\SetRowColor{white}
\{\{ar\}\} כל האיברים באוסף מקיימים את התנאי & forAll ( e:T* | \textless{}b.e.\textgreater{}) \tn 
% Row Count 13 (+ 4)
% Row 4
\SetRowColor{LightBackground}
\{\{ar\}\} האיבר לא שייך לאוסף & excludes( object ) \tn 
% Row Count 16 (+ 3)
% Row 5
\SetRowColor{white}
\{\{ar\}\} האיבר שייך לאוסף & includes( object ) \tn 
% Row Count 18 (+ 2)
% Row 6
\SetRowColor{LightBackground}
\{\{ar\}\} אוסף שתיים מוכל באוסף הנ"ל & includesAll ( collection\_2 ) \tn 
% Row Count 21 (+ 3)
% Row 7
\SetRowColor{white}
מחזיר את ספירת מופעי האובייקט באוסף\{\{ar\}\} & count ( object1 ) \tn 
% Row Count 25 (+ 4)
% Row 8
\SetRowColor{LightBackground}
\{\{ar\}\} מחזיר את גודל האוסף & size () \tn 
% Row Count 28 (+ 3)
% Row 9
\SetRowColor{white}
\{\{ar\}\} מחזיר את סכום האיברים באוסף אם הם תומכים בחיבור & sum () \tn 
% Row Count 33 (+ 5)
\end{tabularx}
\par\addvspace{1.3em}

\vfill
\columnbreak
\begin{tabularx}{8.4cm}{x{4.08 cm} x{3.92 cm} }
\SetRowColor{DarkBackground}
\mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{OCL - FUNCTIONS (cont)}}  \tn
% Row 10
\SetRowColor{LightBackground}
\{\{ar\}\} מחזיר אוסף של כל האיברים העומדים בתנאי הנתון & select ( e:T | \textless{}b.e.\textgreater{}) \tn 
% Row Count 5 (+ 5)
% Row 11
\SetRowColor{white}
\{\{ar\}\} מחזיר את האוסף הנ"ל ללא כל האיברים העומדים בתנאי & reject ( e:T | \textless{}b.e.\textgreater{}) \tn 
% Row Count 10 (+ 5)
% Row 12
\SetRowColor{LightBackground}
\{\{ar\}\} מחזיר את אוסף תוצאת מיפוי כל האיברים לפי הביטוי הנתון & collect ( e:T | \textless{}v.e.\textgreater{}) \tn 
% Row Count 16 (+ 6)
% Row 13
\SetRowColor{white}
\{\{ar\}\} מעבר על האוסף עם ערך התחלתי נתון ועדכונו לפי כל איבר לפי הביטוי הנתון & iterate ( e:T1; r:T2 = \textless{}v.e.\textgreater{} | \textless{}v.e.\textgreater{}) \tn 
% Row Count 23 (+ 7)
% Row 14
\SetRowColor{LightBackground}
\{\{ar\}\} מחזיר קבוצה ללא חזרות של האוסף & asSet() \tn 
% Row Count 27 (+ 4)
\hhline{>{\arrayrulecolor{DarkBackground}}--}
\SetRowColor{LightBackground}
\mymulticolumn{2}{x{8.4cm}}{{\bf{All}} functions should start with \textless{}collection\textgreater{}→\textless{}function\_name\textgreater{}}  \tn 
\hhline{>{\arrayrulecolor{DarkBackground}}--}
\end{tabularx}
\par\addvspace{1.3em}

\begin{tabularx}{8.4cm}{X}
\SetRowColor{DarkBackground}
\mymulticolumn{1}{x{8.4cm}}{\bf\textcolor{white}{Collection Types}}  \tn
\SetRowColor{white}
\mymulticolumn{1}{x{8.4cm}}{- {\bf{set}}  : the mathematical set.  \newline % Row Count 1 (+ 1)
It is not ordered and does not contain duplicate elements. \newline % Row Count 3 (+ 2)
-{\bf{bag}} : A container.  \newline % Row Count 4 (+ 1)
It is not ordered and contain duplicate elements. \newline % Row Count 5 (+ 1)
-{\bf{sequence}} : An container.  \newline % Row Count 6 (+ 1)
It is ordered and contain duplicate elements.% Row Count 7 (+ 1)
} \tn 
\hhline{>{\arrayrulecolor{DarkBackground}}-}
\end{tabularx}
\par\addvspace{1.3em}


% That's all folks
\end{multicols*}

\end{document}