definitions.tex

%% cleveref
\crefname{figure}{Figure}{Figures}
\Crefname{figure}{Figure}{Figures}
\crefname{property}{Property}{Properties}
\Crefname{property}{Property}{Properties}

%% maths
\providecommand{\floor}[1]{\ensuremath{\left\lfloor #1\right\rfloor}}
\providecommand{\ceil}[1]{\ensuremath{\left\lceil #1\right\rceil}}

%% custom commands
\providecommand{\addmargin}{\vspace{10pt}}

\providecommand{\sas}{\ensuremath{\text{SAS}^{+}}\xspace}
\providecommand{\astar}{\ensuremath{\text{A}^{*}}\xspace}

\providecommand{\rw}{\text{RW}\xspace}
\providecommand{\bfs}{\text{BFS}\xspace}
\providecommand{\dfs}{\text{DFS}\xspace}
\providecommand{\bfsrw}{\text{FSM}\xspace}

\providecommand{\h}{\ensuremath{h}\xspace}
\providecommand{\hvalue}[1]{\ensuremath{h^{#1}}\xspace}
\providecommand{\hstar}{\hvalue{*}}
\providecommand{\hff}{\hvalue{\text{FF}}}
\providecommand{\hgc}{\hvalue{\text{GC}}}

\providecommand{\ssdiameter}{\ensuremath{d^*}\xspace}
\providecommand{\facts}{\ensuremath{F}\xspace}
\providecommand{\meanfx}{\ensuremath{\bar F}\xspace}
\providecommand{\rlfacts}{\ensuremath{L_F}\xspace}
\providecommand{\rlmeanfx}{\ensuremath{L_{\overline{F}}}\xspace}
\providecommand{\rldefault}{\ensuremath{L_{200}}\xspace}

\providecommand{\hnn}{\ensuremath{\hat h}\xspace}
\providecommand{\hnnrsp}[1]{\ensuremath{\hat h{^{#1\%}_\text{\rlmeanfx}}}\xspace}
\providecommand{\hnnrs}{\hnnrsp{20}}
\providecommand{\hnnrwrs}{\ensuremath{\hat h{^{20\%}_\text{\rlmeanfx~/~RW}}}\xspace}
\providecommand{\hnnbase}{\ensuremath{\hat h_{0}}\xspace}
\providecommand{\hnnl}[1]{\ensuremath{\hat h_{#1}}\xspace}
\providecommand{\hnnnomutex}{\ensuremath{\hat h^{'}}\xspace}
\providecommand{\hnnnomutexl}[1]{\ensuremath{\hat h^{'}_{#1}}\xspace}
\providecommand{\hnrsl}{\ensuremath{\hat h^{\text{N-RSL}}}\xspace}
\providecommand{\hboot}{\ensuremath{\hat h^{\text{Boot}}}\xspace}

\ifcsname dom\endcsname\else\DeclareMathOperator{\dom}{dom}\fi
\DeclareMathOperator{\pre}{pre}
\DeclareMathOperator{\eff}{eff}
\DeclareMathOperator{\vars}{vars}
\DeclareMathOperator{\sucs}{succ}
\DeclareMathOperator{\pred}{pred}
\DeclareMathOperator{\mutex}{mutex}
\ifcsname R\endcsname\else\newcommand{\R}{\ensuremath{\mathbb{R}}}\fi

%% blocks world example
\providecommand{\facton}[2]{\ensuremath{\text{on}(#1,#2)}\xspace}
\providecommand{\factontable}[1]{\ensuremath{\text{on-table}(#1)}\xspace}
\providecommand{\factclear}[1]{\ensuremath{\text{clear}(#1)}\xspace}
\newcommand{\drawCube}[5]{
    \draw[#4!90, fill=#4!50] (#1,#2,#3+#5) -- ++(0,#5,0) -- ++(#5,0,0) -- ++(0,-#5,0) -- cycle; % front
    \draw[#4!90, fill=#4!50] (#1,#2+#5,#3) -- ++(0,0,#5) -- ++(#5,0,0) -- ++(0,0,-#5) -- cycle; % top
    \draw[#4!90, fill=#4!50] (#1+#5,#2,#3) -- ++(0,#5,0) -- ++(0,0,#5) -- ++(0,-#5,0) -- cycle; % right
}

%% colors
\definecolor{royalred}{RGB}{186, 30, 35}
\definecolor{royalblue}{RGB}{65, 105, 225}

%% notes 
\newcommand{\agp}[2][noinline]{\todo[color=orange!60,linecolor={orange!100},#1,fancyline,author=André]{#2}}
\newcommand{\agpi}[2][inline]{\todo[color=orange!60,linecolor={orange!100},#1,fancyline,author=André]{#2}}
\newcommand{\mr}[2][noinline]{\todo[color=blue!20,linecolor={blue!200},#1,fancyline,author=Marcus]{#2}}
\newcommand{\mri}[2][inline]{\todo[color=blue!20,linecolor={blue!200},#1,fancyline,author=Marcus]{#2}}
\newcommand{\rv}[2][noinline]{\todo[color=red!50,linecolor={red!100},#1,fancyline,author=Rafael]{#2}}
\newcommand{\rvi}[2][inline]{\todo[color=red!50,linecolor={red!100},#1,fancyline,author=Rafael]{#2}}