Reification is the action of associating a Boolean variable to a constraint. More...

Static Public Member Functions
static void	main (String[] args) throws Exception

Detailed Description

Reification is the action of associating a Boolean variable to a constraint.

This boolean enforces or prohibits the constraint according to the value the Boolean variable is fixed to.

Half-reification is defined as a simple implication: If the Boolean variable is true, then the constraint holds, instead of an complete equivalence.

The SAT solver offers half-reification. To implement full reification, two half-reified constraints must be used.

Definition at line 28 of file ReifiedSampleSat.java.

Member Function Documentation

static void ReifiedSampleSat.main ( String [] args ) throws Exception

inlinestatic

Definition at line 33 of file ReifiedSampleSat.java.

The documentation for this class was generated from the following file: