apollo-backend/eu.yeger.apollo.shared.model.fol/Relation/Unary/Unary

Unary

constructor(name: String, term: Term)(source)

Creates an Unary relation with the given name.

Parameters

name

The name of this unary relation.