Interface EffectiveStatementInference

All Superinterfaces:
EffectiveModelContextProvider, Immutable
All Known Subinterfaces:
SchemaTreeInference

@Beta public interface EffectiveStatementInference extends EffectiveModelContextProvider, Immutable
A base class of an EffectiveModelContext context reasoning with regards to what logical sequence of EffectiveStatements were considered. Implementations of this class may provide additional facts which were derived from the line of reasoning.