apollo-backend/eu.yeger.apollo.shared.model.fol/FormulaHead/FormulaHead

FormulaHead

constructor(formula: Formula, symbolTable: Map<String, String>)(source)

Creates a FormulaHead with the given parameters.