Propagator.propagate
sorts.propagator.base.Propagator.DEFAULT_SETTINGS
Propagator.set
Propagator.
set