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

FormulaHead

data class FormulaHead(val formula: Formula, val symbolTable: Map<String, String>)(source)

This class is used to store metadata for a FOLFormula.

Author

Arno Ehle

Benedikt Hruschka

Constructors

Link copied to clipboard
constructor(formula: Formula, symbolTable: Map<String, String>)

Creates a FormulaHead with the given parameters.

Properties

Link copied to clipboard
val formula: Formula

The root Formula.

Link copied to clipboard
val symbolTable: Map<String, String>

The extracted, raw symbol table.