Struct DynamicLogic 

pub struct DynamicLogic {
    pub program: String,
    pub formula: String,
}

Dynamic logic: programs + first-order formulas.

Fields

program: String

formula: String

Implementations

impl DynamicLogic

pub fn new(program: impl Into<String>, formula: impl Into<String>) -> Self

pub fn test_programs(&self) -> Vec<String>

Return list of test-program constructs: p? (test) and φ?.

pub fn regular_programs(&self) -> Vec<String>

Return regular program constructs available in propositional dynamic logic.