Class DefaultStateful

java.lang.Object
tripleo.elijah.stateful.DefaultStateful
All Implemented Interfaces:
Stateful
Direct Known Subclasses:
CR_FindCIs, DeduceElement3_IdentTableEntry, DeduceElement3_VariableTableEntry

public abstract class DefaultStateful extends Object implements Stateful
  • Constructor Details

    • DefaultStateful

      public DefaultStateful()
  • Method Details

    • mvState

      public void mvState(@Nullable @Nullable State aO, @NotNull @NotNull State aState)
      Specified by:
      mvState in interface Stateful
    • setState

      public void setState(State aState)
      Specified by:
      setState in interface Stateful