toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.ordering
/
QuantifierOrderNode
/
QuantifierOrderNode
Quantifier
Order
Node
constructor
(
child
:
OrderNode
,
type
:
OrderQuantifier
,
value
:
Any
?
=
null
)
(
source
)