public interface NegativeConstraintWriter extends Writer
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
NegativeConstraintWriter |
write(NegativeConstraint constraint) |
write, writeComment
NegativeConstraintWriter write(NegativeConstraint constraint) throws IOException
IOException
void flush() throws IOException
flush
in interface Writer
IOException
void close() throws IOException
close
in interface Writer
IOException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.