in src/beanmachine/graph/to_dot.cpp [129:191]
std::string op(OperatorType o) {
switch (o) {
case OperatorType::SAMPLE:
case OperatorType::IID_SAMPLE:
return "~";
case OperatorType::TO_INT:
return "ToInt";
case OperatorType::TO_REAL:
case OperatorType::TO_REAL_MATRIX:
return "ToReal";
case OperatorType::TO_POS_REAL:
case OperatorType::TO_POS_REAL_MATRIX:
return "ToPosReal";
case OperatorType::COMPLEMENT:
return "Complement";
case OperatorType::NEGATE:
return "Negate";
case OperatorType::EXP:
return "exp";
case OperatorType::EXPM1:
return "expm1";
case OperatorType::MULTIPLY:
return "*";
case OperatorType::ADD:
return "+";
case OperatorType::PHI:
return "Phi";
case OperatorType::LOGISTIC:
return "Logistic";
case OperatorType::IF_THEN_ELSE:
return "IfThenElse";
case OperatorType::CHOICE:
return "Choice";
case OperatorType::LOG1PEXP:
return "Log1pExp";
case OperatorType::LOGSUMEXP:
return "LogSumExp";
case OperatorType::LOGSUMEXP_VECTOR:
return "LogSumExp";
case OperatorType::LOG:
return "Log";
case OperatorType::POW:
return "^";
case OperatorType::LOG1MEXP:
return "Log1mExp";
case OperatorType::MATRIX_MULTIPLY:
return "MatrixMultiply";
case OperatorType::MATRIX_SCALE:
return "MatrixScale";
case OperatorType::TO_PROBABILITY:
return "ToProb";
case OperatorType::TO_NEG_REAL:
return "ToNegReal";
case OperatorType::INDEX:
return "Index";
case OperatorType::TO_MATRIX:
return "ToMatrix";
case OperatorType::COLUMN_INDEX:
return "ColumnIndex";
default:
return "Operator";
}
}