pub struct NFA {
    states: HashSet<State>,
    alphabet: HashSet<SymbolLocal>,
    transitions: HashMap<State, Vec<(SymbolLocal, State)>>,
    start_state: State,
    accept_states: HashSet<State>,
}

Fields§

§states: HashSet<State>§alphabet: HashSet<SymbolLocal>§transitions: HashMap<State, Vec<(SymbolLocal, State)>>§start_state: State§accept_states: HashSet<State>

Implementations§

source§

impl NFA

source

fn new(start_state: State, accept_states: Vec<State>) -> Self

Creates a new NFA with the given start state and accept states.

§Arguments
  • start_state - The initial state of the NFA.
  • accept_states - A list of accept states for the NFA.
source

fn add_state(&mut self, state: State)

Adds a state to the NFA.

§Arguments
  • state - The state to be added.
source

fn add_transition(&mut self, from: State, py_symbol: &Symbol, to: State)

Adds a transition to the NFA.

§Arguments
  • from - The state from which the transition starts.
  • py_symbol - The symbol that triggers the transition.
  • to - The state to which the transition goes.
source

fn epsilon_closure(&self, states: Vec<State>) -> Vec<State>

Computes the epsilon closure of a set of states.

§Arguments
  • states - A list of states for which the epsilon closure is to be computed.
§Returns

A list of states that form the epsilon closure.

source

fn move_states(&self, states: Vec<State>, py_symbol: &Symbol) -> Vec<State>

Computes the set of states reachable from a set of states on a given symbol.

§Arguments
  • states - A list of states from which the transitions are to be computed.
  • py_symbol - The symbol that triggers the transitions.
§Returns

A list of states reachable from the given states on the given symbol.

source

fn is_accepted(&self, input: &PyString) -> bool

Checks if the NFA accepts the given input string.

§Arguments
  • input - The input string to be checked.
§Returns

A boolean indicating whether the input string is accepted by the NFA.

Trait Implementations§

source§

impl Debug for NFA

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl HasPyGilRef for NFA

§

type AsRefTarget = PyCell<NFA>

Utility type to make Py::as_ref work.
source§

impl IntoPy<Py<PyAny>> for NFA

source§

fn into_py(self, py: Python<'_>) -> PyObject

Performs the conversion.
source§

impl PyClass for NFA

§

type Frozen = False

Whether the pyclass is frozen. Read more
source§

impl PyClassImpl for NFA

source§

const IS_BASETYPE: bool = false

#[pyclass(subclass)]
source§

const IS_SUBCLASS: bool = false

#[pyclass(extends=…)]
source§

const IS_MAPPING: bool = false

#[pyclass(mapping)]
source§

const IS_SEQUENCE: bool = false

#[pyclass(sequence)]
§

type BaseType = PyAny

Base class
§

type ThreadChecker = SendablePyClass<NFA>

This handles following two situations: Read more
§

type PyClassMutability = <<PyAny as PyClassBaseType>::PyClassMutability as PyClassMutability>::MutableChild

Immutable or mutable
§

type Dict = PyClassDummySlot

Specify this class has #[pyclass(dict)] or not.
§

type WeakRef = PyClassDummySlot

Specify this class has #[pyclass(weakref)] or not.
§

type BaseNativeType = PyAny

The closest native ancestor. This is PyAny by default, and when you declare #[pyclass(extends=PyDict)], it’s PyDict.
source§

fn items_iter() -> PyClassItemsIter

source§

fn doc(py: Python<'_>) -> PyResult<&'static CStr>

Rendered class doc
source§

fn lazy_type_object() -> &'static LazyTypeObject<Self>

source§

fn dict_offset() -> Option<isize>

source§

fn weaklist_offset() -> Option<isize>

source§

impl PyClassNewTextSignature<NFA> for PyClassImplCollector<NFA>

source§

fn new_text_signature(self) -> Option<&'static str>

source§

impl<'a, 'py> PyFunctionArgument<'a, 'py> for &'a NFA

§

type Holder = Option<PyRef<'py, NFA>>

source§

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder ) -> PyResult<Self>

source§

impl<'a, 'py> PyFunctionArgument<'a, 'py> for &'a mut NFA

§

type Holder = Option<PyRefMut<'py, NFA>>

source§

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder ) -> PyResult<Self>

source§

impl PyMethods<NFA> for PyClassImplCollector<NFA>

source§

fn py_methods(self) -> &'static PyClassItems

source§

impl PyTypeInfo for NFA

source§

const NAME: &'static str = "NFA"

Class name.
source§

const MODULE: Option<&'static str> = ::core::option::Option::None

Module name, if any.
source§

fn type_object_raw(py: Python<'_>) -> *mut PyTypeObject

Returns the PyTypeObject instance for this type.
source§

fn type_object(py: Python<'_>) -> &PyType

👎Deprecated since 0.21.0: PyTypeInfo::type_object will be replaced by PyTypeInfo::type_object_bound in a future PyO3 version
Returns the safe abstraction over the type object.
source§

fn type_object_bound(py: Python<'_>) -> Bound<'_, PyType>

Returns the safe abstraction over the type object.
source§

fn is_type_of(object: &PyAny) -> bool

👎Deprecated since 0.21.0: PyTypeInfo::is_type_of will be replaced by PyTypeInfo::is_type_of_bound in a future PyO3 version
Checks if object is an instance of this type or a subclass of this type.
source§

fn is_type_of_bound(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type or a subclass of this type.
source§

fn is_exact_type_of(object: &PyAny) -> bool

👎Deprecated since 0.21.0: PyTypeInfo::is_exact_type_of will be replaced by PyTypeInfo::is_exact_type_of_bound in a future PyO3 version
Checks if object is an instance of this type.
source§

fn is_exact_type_of_bound(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type.
source§

impl DerefToPyAny for NFA

Auto Trait Implementations§

§

impl Freeze for NFA

§

impl RefUnwindSafe for NFA

§

impl Send for NFA

§

impl Sync for NFA

§

impl Unpin for NFA

§

impl UnwindSafe for NFA

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> PyErrArguments for T
where T: IntoPy<Py<PyAny>> + Send + Sync,

source§

fn arguments(self, py: Python<'_>) -> Py<PyAny>

Arguments for exception
source§

impl<T> PyTypeCheck for T
where T: PyTypeInfo,

source§

const NAME: &'static str = <T as PyTypeInfo>::NAME

Name of self. This is used in error messages, for example.
source§

fn type_check(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of Self, which may include a subtype. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<T> Ungil for T
where T: Send,