Function TestIntervalString_Point

ast/temporal_string_test.go:7–17

(t *testing.T)

)

func TestIntervalString_Point(t *testing.T) {
	v := Variable{Symbol: "T"}
	bound := NewVariableBound(v)
	interval := NewInterval(bound, bound)

	got := interval.String()
	want := "@[T]"
	if got != want {
		t.Errorf("Interval{T, T}.String() = %q, want %q", got, want)
	}
}

func TestTemporalAtomString_Point(t *testing.T) {
	v := Variable{Symbol: "T"}