Function TestTemporalAtomString_Point

ast/temporal_string_test.go:19–31

(t *testing.T)

}

func TestTemporalAtomString_Point(t *testing.T) {
	v := Variable{Symbol: "T"}
	bound := NewVariableBound(v)
	interval := NewInterval(bound, bound)
	atom := NewAtom("p", Variable{Symbol: "X"})
	ta := TemporalAtom{Atom: atom, Interval: &interval}

	got := ta.String()
	want := "p(X)@[T]"
	if got != want {
		t.Errorf("TemporalAtom{p(X), @[T]}.String() = %q, want %q", got, want)
	}
}