amachine.am_machine

 1from abc import ABC, abstractmethod
 2
 3from .am_causal_state import CausalState
 4from .am_transition import Transition
 5from .am_symbol import Symbol
 6
 7class Machine(ABC) :
 8	
 9	@property
10	@abstractmethod
11	def get_states(self) -> list[CausalState]: ...
12
13	@property
14	@abstractmethod
15	def get_transitions(self) -> list[Transition]: ...
16
17	@property
18	@abstractmethod
19	def get_alphabet(self) -> list[Symbol]: ...
class Machine(abc.ABC):
 8class Machine(ABC) :
 9	
10	@property
11	@abstractmethod
12	def get_states(self) -> list[CausalState]: ...
13
14	@property
15	@abstractmethod
16	def get_transitions(self) -> list[Transition]: ...
17
18	@property
19	@abstractmethod
20	def get_alphabet(self) -> list[Symbol]: ...

Helper class that provides a standard way to create an ABC using inheritance.

get_states: list[amachine.am_causal_state.CausalState]
10	@property
11	@abstractmethod
12	def get_states(self) -> list[CausalState]: ...
get_transitions: list[amachine.am_transition.Transition]
14	@property
15	@abstractmethod
16	def get_transitions(self) -> list[Transition]: ...
get_alphabet: list[amachine.am_symbol.Symbol]
18	@property
19	@abstractmethod
20	def get_alphabet(self) -> list[Symbol]: ...