1 2 3 4 5 6 7 8 9
#ifndef __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H #define __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H namespace CVC4 { class LogicInfo; }/* CVC4 namespace */ #endif /* __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H */