"""TOM World & Query Kernel 0.3 interval-event extension."""
from .baseline import trusted_affine_baseline
from .interval import ClosedInterval
from .model import AffineTrajectory, IntervalWorld, Relation
from .rational import Q
from .solver import certify_crossing, certified_events, events_certificate, next_event_set
from .transitions import TransitionConflict, apply_event_set, merge_transition_ops

__all__ = [
    "Q", "ClosedInterval", "AffineTrajectory", "IntervalWorld", "Relation",
    "certify_crossing", "certified_events", "events_certificate", "next_event_set",
    "apply_event_set", "merge_transition_ops", "TransitionConflict",
    "trusted_affine_baseline",
]
__version__ = "0.3.0"