Method IsExtensional

ast/decl.go:114–116

IsExtensional returns true if decl is for an extensional predicate.

()

// IsExtensional returns true if decl is for an extensional predicate.
func (d Decl) IsExtensional() bool {
	return d.findDescr(DescrExtensional, nil)
}

// IsTemporal returns true if decl is for a temporal predicate.
// Temporal predicates have facts with validity intervals.