1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
use crate::graph::NodeIndex;
use super::*;
/// [Operation] defines the various node types represented
/// in the [AlgebraicGraph].
#[derive(Debug, PartialEq, Eq, Copy, Clone)]
pub enum Operation {
/// Evaluates to a [Value]
///
/// This is always a leaf node in the graph.
Value(Value),
/// Evaluates by addition over two operands (given as nodes in the graph)
Add(NodeIndex, NodeIndex),
/// Evaluates by subtraction over two operands (given as nodes in the graph)
Sub(NodeIndex, NodeIndex),
/// Evaluates by multiplication over two operands (given as nodes in the graph)
Mul(NodeIndex, NodeIndex),
/// Evaluates by exponentiation over two operands (the first given as a node
/// in the graph, the second as a constant).
///
/// NOTE: The exponent _must_ be a constant value currently. In the future,
/// it may be possible to support non-constant exponents, but it is not
/// supported at this time.
Exp(NodeIndex, usize),
}
impl Operation {
/// Corresponds to the binding power of this [Operation]
///
/// Operations with a higher binding power are applied before
/// operations with a lower binding power. Operations with equivalent
/// precedence are evaluated left-to-right.
pub fn precedence(&self) -> usize {
match self {
Self::Add(_, _) => 1,
Self::Sub(_, _) => 2,
Self::Mul(_, _) => 3,
_ => 4,
}
}
}