Package com.logic.api

Interface IFormula

All Known Subinterfaces:
IFOLFormula, IPLFormula

public interface IFormula
The IFormula interface represents a logical formula in either propositional logic or first-order logic. It provides methods for retrieving the underlying expression, iterating over generic (arbitrary) components, and checking for the presence of generics within the formula. This interface serves as a common abstraction for various logical expressions, supporting:
  • Propositional logic formulas
  • First-order logic formulas
  • Expressions containing generic placeholders
Since:
08-03-2025
See Also: