lij.interfaces
Interface Result


public interface Result

Encapsulates a constraint (or tree-node) result. Can be one of TRUE, FALSE, or MAYBE.

Author:
Nikolaos Chatzinikolaou

Nested Class Summary
static class Result.State