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 Summary

Constructors

Constructor

Description

DefaultStateful()
Method Summary

Modifier and Type

Method

Description

void

mvState(@Nullable State aO, @NotNull State aState)

void

setState(State aState)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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