Drift Engine Documentation
Toggle table of contents
1.0.0
common
Target filter
common
Switch theme
Search in API
Skip to content
Drift Engine Documentation
core
/
dev.gmitch215.drift.know
/
Node
/
Cross
Cross
data
class
Cross
(
val
path
:
String
,
val
pred
:
Pred
)
:
Node
(
source
)
Node.Cross.pred
on both sides: matches when the two results differ.
Members
Members & Extensions
Constructors
Cross
Link copied to clipboard
constructor
(
path
:
String
,
pred
:
Pred
)
Properties
path
Link copied to clipboard
val
path
:
String
pred
Link copied to clipboard
val
pred
:
Pred
Functions
paths
Link copied to clipboard
fun
Node
.
paths
(
)
:
List
<
String
>