essential-contributions / essential-debugger

Essential Debugger

A very experimental debugger for constraints written in Pint and compiled for the Essential constraint checking engine.

essential-debugger's Issues

Add ability to show inputs to a constraint

• Cli selection to show any transient data (highlight this solution data index).
• Cli selection to show the pre and post state slots for this intent.
• Cli selection to show the decision variables for this intent.
• Cli selection to show the state mutations for any intent (highlight this solution data index).

Add run builder

pub struct ConstraintPtr {
  solution_data: usize,
  constraint: usize,
}

pub struct Run {
  pub solution: Solution,
  pub intent: Intent,
  pub state: HashMap<ContentAddress, BtreeMap<Key, Value>>,
  pub ptr: ConstraintPtr,
}

impl Run {
  pub fn new(
    solution: Solution,
    intent: Intent,
    solution_data_index: usize,
    constraint_index: usize,
    state: HashMap<ContentAddress, BtreeMap<Key, Value>>,
  ) -> Self { todo!() }

  pub fn with_intent_source<F, E>(
    solution: Solution,
    intent_source: F,
    solution_data_index: usize,
    constraint_index: usize,
    state: HashMap<ContentAddress, BtreeMap<Key, Value>>,
  ) -> anyhow::Result<Self>
  where
    F: FnOnce(IntentAddress) -> Result<Intent, E>,
    anyhow::Error: From<E>,
  { todo!() }

  pub async fn with_async_intent_source<Fut, F, E>(
    solution: Solution,
    intent_source: F,
    solution_data_index: usize,
    constraint_index: usize,
    state: HashMap<ContentAddress, BtreeMap<Key, Value>>,
  ) -> anyhow::Result<Self>
  where
    Fut: Future<Output = Result<Intent, E>>,
    F: FnOnce(IntentAddress) -> Fut,
    anyhow::Error: From<E>,
  { todo!() }