MCPcopy Index your code
hub / github.com/google/mangle / PositiveInfinity

Function PositiveInfinity

ast/temporal.go:200–204  ·  view source on GitHub ↗

PositiveInfinity returns a bound representing positive infinity.

()

Source from the content-addressed store, hash-verified

198
199// PositiveInfinity returns a bound representing positive infinity.
200func PositiveInfinity() TemporalBound {
201 return TemporalBound{
202 Type: PositiveInfinityBound,
203 }
204}
205
206// Now returns a bound representing the current evaluation time.
207func Now() TemporalBound {

Callers 8

TestParseTemporalFactFunction · 0.92
TestTemporalBoundFunction · 0.85
TestTemporalBoundEqualsFunction · 0.85
TestIntervalFunction · 0.85
NewIntervalFunction · 0.85
EternalIntervalFunction · 0.85

Calls

no outgoing calls

Tested by 5

TestParseTemporalFactFunction · 0.74
TestTemporalBoundFunction · 0.68
TestTemporalBoundEqualsFunction · 0.68
TestIntervalFunction · 0.68