Package tools.refinery.logic.valuation

Interface Valuation

All Known Implementing Classes:

RestrictedValuation, SubstitutedValuation

public interface Valuation

Method Summary

Modifier and Type	Method	Description
static ValuationBuilder	builder()
static Valuation	empty()
<T> T	getValue(DataVariable<T> variable)
default Valuation	restrict(Set<? extends AnyDataVariable> allowedVariables)
default Valuation	substitute(@Nullable Substitution substitution)

Method Details

getValue

<T> T getValue(DataVariable<T> variable)

substitute

default Valuation substitute(@Nullable
 @Nullable Substitution substitution)

restrict

default Valuation restrict(Set<? extends AnyDataVariable> allowedVariables)

builder

static ValuationBuilder builder()

empty

static Valuation empty()