Class/Object

org.combinators.cls.inhabitation

FiniteCombinatoryLogic

Related Docs: object FiniteCombinatoryLogic | package inhabitation

Permalink

class FiniteCombinatoryLogic extends LazyLogging

Type inhabitation for finite combinatory logic (FCL)

Linear Supertypes
LazyLogging, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FiniteCombinatoryLogic
  2. LazyLogging
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new FiniteCombinatoryLogic(subtypes: SubtypeEnvironment, repository: Repository)

    Permalink

Type Members

  1. type MultiArrow = (Seq[Type], Type)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  9. final def groundTypesOf(rules: ParSet[Rule]): ParSet[Type]

    Permalink

    Finds all productive left hand sides in rules.

    Finds all productive left hand sides in rules. A left hand side is productive, if any of its right hand sides only requires arguments, which are productive left hand sides of the grammar.

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  11. def inhabit(targets: Type*): Set[Rule]

    Permalink

    Inhabits all types in targets and return a set of tree grammar rules to represent results.

    Inhabits all types in targets and return a set of tree grammar rules to represent results. The resulting tree grammar is pruned to eliminate unproductive derivation chains.

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  13. lazy val logger: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    LazyLogging

  14. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  17. def prune(rules: Set[Rule]): Set[Rule]

    Permalink

    Removes all unproductive left hand sides in rules.

    Removes all unproductive left hand sides in rules.

    See also

    FiniteCombinatoryLogic.groundTypesOf(Set[Rule]) for a description of productivity.

  18. val repository: Repository

    Permalink

  19. val subtypes: SubtypeEnvironment

    Permalink

  20. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  21. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  22. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  23. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  24. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped