at
.
logic
.
gapt
.
grammars
reforest
package
reforest
Content Hierarchy
RigidTrigram
Feature
Digram
Visibility
Public
All
Type Members
case class
Digram
(
c1:
Const
,
i:
Int
,
c2:
Const
)
extends
Feature
with
Product
with
Serializable
abstract
class
Feature
extends
AnyRef
case class
ReforestState
(
axiom:
Const
,
rules:
Map
[
LambdaExpression
,
Set
[
LambdaExpression
]]
,
highestNTIndex:
Int
)
extends
Product
with
Serializable
case class
RigidTrigram
(
c:
Const
,
i:
Int
,
j:
Int
)
extends
Feature
with
Product
with
Serializable
Value Members
object
Reforest
Ungrouped