Loading Includes/notation.tex 0 → 100644 +12 −0 Original line number Diff line number Diff line \renewcommand{\P}{\ensuremath{\mathcal{P}}\xspace} \newcommand{\cnf}{\textsc{cnf}\xspace} \newcommand{\sat}{\textsc{sat}\xspace} \newcommand{\dppr}{\textsc{dp}\xspace} \newcommand{\dpll}{\textsc{dpll}\xspace} \newcommand{\state}[2]{\ensuremath{#1 \; || \; #2}\xspace} \newcommand{\dec}[1]{\ensuremath{#1^\bullet}} \newcommand{\fail}{\textsf{Fail}\xspace} \newcommand{\trans}[2]{#1 ~\Longrightarrow~ #2} \newcommand{\transstar}[2]{#1 ~\Longrightarrow^*~ #2} No newline at end of file Loading
Includes/notation.tex 0 → 100644 +12 −0 Original line number Diff line number Diff line \renewcommand{\P}{\ensuremath{\mathcal{P}}\xspace} \newcommand{\cnf}{\textsc{cnf}\xspace} \newcommand{\sat}{\textsc{sat}\xspace} \newcommand{\dppr}{\textsc{dp}\xspace} \newcommand{\dpll}{\textsc{dpll}\xspace} \newcommand{\state}[2]{\ensuremath{#1 \; || \; #2}\xspace} \newcommand{\dec}[1]{\ensuremath{#1^\bullet}} \newcommand{\fail}{\textsf{Fail}\xspace} \newcommand{\trans}[2]{#1 ~\Longrightarrow~ #2} \newcommand{\transstar}[2]{#1 ~\Longrightarrow^*~ #2} No newline at end of file
