Interface Logical

All Known Subinterfaces:
Expression, Value
All Known Implementing Classes:
Action, Asset, Assignment, Constant, Effect, Ending, Entity, Proposition, Signature, SignedAsset, Variable
public interface Logical
A logical object is anything that is itself a predicate logic formula or contains a predicate logic formula.
Author:
Stephen G. Ware

  • Method Summary

    Modifier and Type
    Method
    Description
    Logical
    substitute(Function<Object,Object> substitution)
    Returns a logical object identical to this one, except that its logical elements have been replaced according to the given substitution.

  • Method Details

    • substitute

      Logical substitute(Function<Object,Object> substitution)
      Returns a logical object identical to this one, except that its logical elements have been replaced according to the given substitution. A substitution defines how some logical formula (the input to the function) should be replaced with a different formula (the output of the function).
      Parameters:
      substitution - a function which maps logical formula that should be replaced to the formula they should be replaced with
      Returns:
      an identical object, except that its logical formula have been replaced according to the substitution