Overview | Package | Class | Use | Tree | Deprecated | Index | Help

PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## cz.pcland.sat
Class SATInstance

    java.lang.Object
      cz.pcland.sat.SATInstance

All Implemented Interfaces:
  Loadable

    public class SATInstance

extends java.lang.Object
implements Loadable

Field Summary
`boolean` | `canSatisfy`
`boolean` | `checked`
`int[][]` | `clauses`
`int` | `clausesCount`
`GenerationInfo` | `gi`
`java.util.Vector` | `infoData`
`Population` | `population`
`int` | `varsCount`

Constructor Summary
`SATInstance()` Creates a new instance of SATinstance

Method Summary
`void` | `append(java.lang.String str)`
`boolean` | `canSatisfyClause(int i, BinaryIndividual individual)`
`java.lang.String` | `getEvaluatedInstance(BinaryIndividual individual)`
`java.lang.String` | `getString()`
`boolean` | `isVarTrue(boolean[] bits, int varNum)`
`void` | `loadFromString(java.lang.String str)`
`void` | `parse()`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

### clausesCount

    public int clausesCount

### varsCount

    public int varsCount

### clauses

    public int[][] clauses

### canSatisfy

    public boolean canSatisfy

### checked

    public boolean checked

### gi

    public GenerationInfo gi

### infoData

    public java.util.Vector infoData

### population

    public Population population

Constructor Detail

### SATInstance

    public SATInstance()

  Creates a new instance of SATinstance

Method Detail

### loadFromString

    public void loadFromString(java.lang.String str)

  Specified by:
    `loadFromString` in interface `Loadable`

### parse

    public void parse()

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `java.lang.Object`

### canSatisfyClause

    public boolean canSatisfyClause(int i,
                                    BinaryIndividual individual)

### isVarTrue

    public boolean isVarTrue(boolean[] bits,
                             int varNum)

### getEvaluatedInstance

    public java.lang.String getEvaluatedInstance(BinaryIndividual individual)

### getString

    public java.lang.String getString()

### append

    public void append(java.lang.String str)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help

PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD