Class ClauseState

    • Field Detail

      • exp

        protected Expression exp
        expression object that is being created. See #castPattern and #annealPattern methods for how will a pattern be created.
    • Constructor Detail

      • ClauseState

        ClauseState()