quasar
.
mimir
.
ReductionFinderModule
ReductionFinder
Related Doc:
package ReductionFinderModule
trait
ReductionFinder
extends
EvaluatorMethods
with
TransSpecable
Linear Supertypes
ReductionFinderModule.TransSpecable
,
ReductionFinderModule.EvaluatorMethods
,
ReductionFinderModule.OpFinder
,
AnyRef
,
Any
Known Subclasses
Evaluator
,
EvaluatorLike
Ordering
Alphabetic
By Inheritance
Inherited
ReductionFinder
TransSpecable
EvaluatorMethods
OpFinder
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
case class
MegaReduceState
(
ancestorByReduce:
Map
[
Reduce
,
ReductionFinderModule.DepGraph
]
,
parentsByAncestor:
Map
[
ReductionFinderModule.DepGraph
,
List
[
ReductionFinderModule.DepGraph
]]
,
reducesByParent:
Map
[
ReductionFinderModule.DepGraph
,
List
[
Reduce
]]
,
specByParent:
Map
[
ReductionFinderModule.DepGraph
,
TransSpec1
]
)
extends
Product
with
Serializable
case class
ReduceInfo
(
reduce:
Reduce
,
spec:
TransSpec1
,
ancestor:
ReductionFinderModule.DepGraph
)
extends
Product
with
Serializable
trait
TransSpecableFold
[
T
]
extends
TransSpecableOrderFold
[
T
]
Definition Classes
TransSpecable
trait
TransSpecableOrderFold
[
T
]
extends
AnyRef
Definition Classes
TransSpecable
Abstract Value Members
abstract
def
op1ForUnOp
(
op:
yggdrasil.bytecode.Instructions.instructions.UnaryOperation
)
:
TableLibModule.Lib.Op1
Definition Classes
OpFinder
abstract
def
op2ForBinOp
(
op:
yggdrasil.bytecode.Instructions.instructions.BinaryOperation
)
:
Option
[
TableLibModule.Lib.Op2
]
Definition Classes
OpFinder
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
ConstInt
Definition Classes
TransSpecable
object
Op2F2ForBinOp
Definition Classes
TransSpecable
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
buildReduceInfo
(
reduce:
Reduce
,
ctx:
EvaluationContext
)
:
ReduceInfo
def
buildWrappedCrossSpec
(
spec: (
TransSpec2
,
TransSpec2
) ⇒
TransSpec2
)
:
TransSpec2
Definition Classes
EvaluatorMethods
def
buildWrappedJoinSpec
(
idMatch:
IdentityMatch
,
valueKeys:
Set
[
Int
] =
Set.empty
)
(
spec: (
TransSpec2
,
TransSpec2
) ⇒
TransSpec2
)
:
TransSpec2
Definition Classes
EvaluatorMethods
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
combineTransSpecs
(
specs:
List
[
TransSpec1
]
)
:
TransSpec1
Definition Classes
EvaluatorMethods
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
findAncestor
(
to:
ReductionFinderModule.DepGraph
,
ctx:
EvaluationContext
)
:
Option
[
ReductionFinderModule.DepGraph
]
Definition Classes
TransSpecable
def
findOrderAncestor
(
to:
ReductionFinderModule.DepGraph
,
ctx:
EvaluationContext
)
:
Option
[
ReductionFinderModule.DepGraph
]
Definition Classes
TransSpecable
def
findReductions
(
node:
ReductionFinderModule.DepGraph
,
ctx:
EvaluationContext
)
:
MegaReduceState
def
findTransSpecAndAncestor
(
to:
ReductionFinderModule.DepGraph
,
ctx:
EvaluationContext
)
:
Option
[(
TransSpec1
,
ReductionFinderModule.DepGraph
)]
Definition Classes
TransSpecable
def
foldDownTransSpecable
[
T
]
(
to:
ReductionFinderModule.DepGraph
,
from:
Option
[
ReductionFinderModule.DepGraph
]
)
(
alg:
TransSpecableFold
[
T
]
)
:
T
Definition Classes
TransSpecable
def
foldDownTransSpecableOrder
[
T
]
(
to:
ReductionFinderModule.DepGraph
,
from:
Option
[
ReductionFinderModule.DepGraph
]
)
(
alg:
TransSpecableOrderFold
[
T
]
)
:
T
Definition Classes
TransSpecable
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isTransSpecable
(
to:
ReductionFinderModule.DepGraph
,
from:
ReductionFinderModule.DepGraph
)
:
Boolean
Definition Classes
TransSpecable
def
megaReduce
(
node:
ReductionFinderModule.DepGraph
,
st:
MegaReduceState
)
:
ReductionFinderModule.DepGraph
def
mkTransSpec
(
to:
ReductionFinderModule.DepGraph
,
from:
ReductionFinderModule.DepGraph
,
ctx:
EvaluationContext
)
:
Option
[
TransSpec1
]
Definition Classes
TransSpecable
def
mkTransSpecOrderWithState
[
N
[
+_
]
,
S
]
(
to:
ReductionFinderModule.DepGraph
,
from:
Option
[
ReductionFinderModule.DepGraph
]
,
ctx:
EvaluationContext
,
get: (
S
) ⇒ (
TransSpec1
,
ReductionFinderModule.DepGraph
)
,
set: (
S
, (
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
,
init: ((
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
)
(
implicit
arg0:
Monad
[
N
]
)
:
N
[
S
]
Definition Classes
TransSpecable
def
mkTransSpecWithState
[
N
[
_
]
,
S
]
(
to:
ReductionFinderModule.DepGraph
,
from:
Option
[
ReductionFinderModule.DepGraph
]
,
ctx:
EvaluationContext
,
get: (
S
) ⇒ (
TransSpec1
,
ReductionFinderModule.DepGraph
)
,
set: (
S
, (
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
,
init: ((
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
)
(
implicit
arg0:
Monad
[
N
]
)
:
N
[
S
]
Definition Classes
TransSpecable
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
transFold
[
N
[
_
]
,
S
]
(
to:
ReductionFinderModule.DepGraph
,
from:
Option
[
ReductionFinderModule.DepGraph
]
,
ctx:
EvaluationContext
,
get: (
S
) ⇒ (
TransSpec1
,
ReductionFinderModule.DepGraph
)
,
set: (
S
, (
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
,
init: ((
TransSpec1
,
ReductionFinderModule.DepGraph
)) ⇒
N
[
S
]
)
(
implicit
arg0:
Monad
[
N
]
)
:
TransSpecableFold
[
N
[
S
]]
Definition Classes
TransSpecable
def
transFromBinOp
[
A <:
SourceType
]
(
op:
yggdrasil.bytecode.Instructions.instructions.BinaryOperation
)
(
left:
TransSpec
[
A
]
,
right:
TransSpec
[
A
]
)
:
TransSpec
[
A
]
Definition Classes
EvaluatorMethods
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
ReductionFinderModule.TransSpecable
Inherited from
ReductionFinderModule.EvaluatorMethods
Inherited from
ReductionFinderModule.OpFinder
Inherited from
AnyRef
Inherited from
Any
Ungrouped