ostrich
.
cesolver
.
automata
CEBasicOperations
Related Doc:
package automata
object
CEBasicOperations
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
CEBasicOperations
AnyRef
Any
Hide All
Show All
Visibility
Public
All
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
complement
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
complementWithoutRegs
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
concatenate
(
auts:
Seq
[
CostEnrichedAutomatonBase
]
)
:
CostEnrichedAutomatonBase
def
determinateByVec
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
diff
(
a1:
CostEnrichedAutomatonBase
,
a2:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
diffWithoutRegs
(
aut1:
CostEnrichedAutomatonBase
,
aut2:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
epsilonClosureByVec
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
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]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
intersection
[
A <:
CostEnrichedAutomatonBase
]
(
aut1:
A
,
aut2:
A
)
:
CostEnrichedAutomatonBase
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
minimizeHopcroft
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomaton
def
minimizeHopcroftByVec
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
optional
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
partitionStatesByVec
(
aut:
CostEnrichedAutomatonBase
)
:
Map
[
State
,
State
]
def
removeDeadState
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
removeDuplicatedTrans
(
aut:
CostEnrichedAutomatonBase
)
:
CostEnrichedAutomatonBase
def
repeat
(
aut:
CostEnrichedAutomatonBase
,
min:
Int
,
max:
Int
)
:
CostEnrichedAutomatonBase
def
repeatUnwind
(
aut:
CostEnrichedAutomatonBase
,
min:
Int
,
max:
Int
)
:
CostEnrichedAutomatonBase
def
repeatUnwind
(
aut:
CostEnrichedAutomatonBase
,
min:
Int
)
:
CostEnrichedAutomatonBase
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toBricsAutomaton
(
aut:
CostEnrichedAutomatonBase
)
:
Automaton
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
union
(
auts:
Seq
[
CostEnrichedAutomatonBase
]
)
:
CostEnrichedAutomatonBase
def
unionWithoutRegs
(
auts:
Seq
[
CostEnrichedAutomatonBase
]
)
:
CostEnrichedAutomatonBase
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
AnyRef
Inherited from
Any
Ungrouped