Method get_n_th_call

src/program/transform.rs:1261–1263

(&self)

    }

    fn get_n_th_call(&self) -> &usize {
        &self.n_call
    }

    fn get_constraint(&self) -> &Option<Constraint> {
        &self.constraint