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

Binary

constructor(name: String, firstTerm: Term, secondTerm: Term, isInfix: Boolean)(source)

Creates an Binary relation with the given name.

Parameters

name

The name of this binary relation.