Package tools.refinery.logic.valuation
Interface Valuation
- All Known Implementing Classes:
RestrictedValuation
,SubstitutedValuation
public interface Valuation
-
Method Summary
Modifier and TypeMethodDescriptionstatic 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
-
substitute
-
restrict
-
builder
-
empty
-