Interface Semantics


public interface Semantics
Provides access to the computational building blocks of SAT based ADF semantics.
Author:
Mathias Hofer