Edge generateTransOrderConstraintSATEncoder(SATEncoder *This, Edge constIJ, Edge constJK, Edge constIK);
Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
Edge generateTransOrderConstraintSATEncoder(SATEncoder *This, Edge constIJ, Edge constJK, Edge constIK);
Edge encodeTotalOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
Edge encodePartialOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);