Class TwoValuedModelSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class TwoValuedModelSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Author:
    Mathias Hofer