WEICZ20/moonbit-computer-interlocking/src/conflict does not have a README file
pub(all) struct ConflictDetector {
hostile_matrix : HostileMatrix
topology_matrix : HostileMatrix
} derive(Debug)fn ConflictDetector::is_route_allowed(self : ConflictDetector, table : InterlockingTable, candidate_route_id : RouteId) -> Result[Unit, String]fn ConflictDetector::is_route_allowed_fast(self : ConflictDetector, table : InterlockingTable, candidate_route_id : RouteId) -> Boolfn HostileMatrix::is_conflict_with_active_mask(self : HostileMatrix, r_id : RouteId, active_mask : RouteBitSet) -> Boolfn detect_topological_conflicts(rule_a : InterlockingRule, rule_b : InterlockingRule) -> TopologyConflictDetail?Install
Download zipMoonBit Railway Computer Interlocking (CI) Safety Logic Engine