Package tools.refinery.logic.valuation

Interface Valuation

All Known Implementing Classes:

SubstitutedValuation

public interface Valuation

Method Summary

Modifier and Type	Method	Description
static ValuationBuilder	builder()
static Valuation	empty()
Integer	getNodeId(NodeVariable nodeVariable)
<T> T	getValue(DataVariable<T> variable)
default Valuation	substitute(@Nullable Substitution substitution)

Method Details

getValue

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

getNodeId

Integer getNodeId(NodeVariable nodeVariable)

substitute

default Valuation substitute(@Nullable
 @Nullable Substitution substitution)

builder

static ValuationBuilder builder()

empty

static Valuation empty()