Interface Connective
- All Known Implementing Classes:
ConnectiveImpl
public interface Connective
A fragment together with a distinguished list of variables which can be used to "connect" fragments.
It is assumed that all vars of the connective are contained in fragment.getVars().