public boolean isUnitClause(){
  return literals.size() == 1;
}

public boolean isUnitClause ( ) { return literals . size ( ) == 1 ; }
determine if a clause is unit , i . e . contains a single literal .
