alchemist-full
Toggle table of contents
37.0.1
jvm
Platform filter
jvm
Switch theme
Search in API
alchemist-full
alchemist-implementationbase
/
it.unibo.alchemist.model.terminators
/
AfterTime
After
Time
data
class
AfterTime
<
T
,
P
:
Position
<
P
>
>
(
val
endTime
:
Time
)
:
TerminationPredicate
<
T
,
P
>
(
source
)
Parameters
end
Time
the end time.
Members
Constructors
After
Time
Link copied to clipboard
constructor
(
endTime
:
Time
)
Properties
end
Time
Link copied to clipboard
val
endTime
:
Time
Functions
invoke
Link copied to clipboard
open
operator override
fun
invoke
(
environment
:
Environment
<
T
,
P
>
)
:
Boolean
or
Link copied to clipboard
open
fun
or
(
other
:
TerminationPredicate
<
T
,
P
>
)
:
TerminationPredicate
<
T
,
P
>
test
Link copied to clipboard
open
fun
test
(
environment
:
Environment
<
T
,
P
>
)
:
Boolean